3971 search results - page 545 / 795 » On the Use of Properties in Java Applications |
219
click to vote
ENTCS
2006
15 years 7 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
132
click to vote
CPHYSICS
2007
15 years 7 months ago
2007
Recently there has been great interest in the conducting properties of DNA because of their potential applications to nanotechnology and their role in protecting the molecule from...
218
click to vote
JDA
2006
15 years 7 months ago
2006
Abstract. Sreedhar et al. [SGL98, Sre95] have presented an eliminationbased algorithm to solve data flow problems. A thorough analysis of the algorithm shows that the worst-case pe...
161
click to vote
JUCS
2008
15 years 7 months ago
2008
: This paper summarizes a model of interaction for CVEs inspired by the process followed in human communication in the real world, detailing both the main elements and the communic...
192
click to vote
ENTCS
2007
15 years 7 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...