4438 search results - page 625 / 888 » The Case for Collaborative Programming |
176
click to vote
ICALP
2004
Springer
16 years 10 hour ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
155
click to vote
IFIP
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
175
click to vote
IFIP
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. Flexible personal communications may require dynamically discovering, using, and combining a number of services to support the activities of a mobile user. However, many ...
176
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
199
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...