1552 search results - page 275 / 311 » Concepts and Concept-Oriented Programming |
143
click to vote
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
162
click to vote
ISSTA
2010
ACM
15 years 9 months ago
2010
ACM
Real production code contains lots of knowledge—on the domain, on the architecture, and on the environment. How can we leverage this knowledge in new projects? Using a novel lig...
169
click to vote
ARC
2006
Springer
15 years 9 months ago
2006
Springer
We introduce a new paradigm in the computer architecture referred to as Polymorphic Instruction Set Computers (PISC). This new paradigm, in difference to RISC/CISC, introduces hard...
159
click to vote
COMPSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...
173
click to vote
ESAW
2000
Springer
15 years 9 months ago
2000
Springer
The design and development of Internet applications can take advantage of a paradigm based on autonomous and mobile agents. However, agent mobility introduces peculiar coordinatio...