2493 search results - page 302 / 499 » Tool Support for Design by Contract |
PDP
2002
IEEE
15 years 3 months ago
2002
IEEE
The Ensemble methodology supports the design and implementation of message passing applications, particularly MPMD and those demanding irregular or partially regular process topol...
HICSS
1999
IEEE
15 years 2 months ago
1999
IEEE
As computer networks improve, more social and work interactions are carried out "virtually" by geographically separated group members. In this paper we discuss the desig...
MA
1999
Springer
15 years 2 months ago
1999
Springer
Jackal is a Java-based tool for communication using the KQML agent communication language. Some features that make it extremely valuable to agent development are its conversation ...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Current practice in the design of application software for high-performance embedded computing systems is characterized by long development times, lack of interoperability with ot...
EHCI
2001
15 years 5 hour ago
2001
Abstract. This paper describes videoSpace, a software toolkit designed to facilitate the integration of image streams into existing or new documents and applications to support new...