10072 search results - page 1433 / 2015 » Composition of Model Programs |
217
click to vote
ISSTA
2004
ACM
16 years 19 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
226
click to vote
AOSD
2003
ACM
16 years 14 days ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
210
click to vote
PLDI
2003
ACM
16 years 14 days ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
228
click to vote
FATES
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
176
click to vote
SIGUCCS
2009
ACM
15 years 12 months ago
2009
ACM
Frontline support and maintenance for desktop hardware and software systems at Princeton University has been uniquely structured, allowing the benefits of centralization and the f...