7961 search results - page 63 / 1593 » Input-Output Model Programs |
103
click to vote
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...
111
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
95
Voted
PPAM
2007
Springer
15 years 8 months ago
2007
Springer
There are several parallel programming models available for numerical computations at diļ¬erent levels of expressibility and ease of use. For the development of new domain speciļ¬...
128
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic veriļ¬cation of software using model checkers from the state space exp...
130
Voted
SAINT
2006
IEEE
15 years 8 months ago
2006
IEEE
1 Establishing suitable programming models for pervasive spaces is essential in improving the productivity, enhancing the quality of pervasive systems, and creating an open platfor...