1436 search results - page 221 / 288 » Experiences with the use of MERODE in the development of a W... |
TON
2010
13 years 3 months ago
2010
TCP has traditionally been considered inappropriate for real-time applications. Nonetheless, popular applications such as Skype use TCP since UDP packets cannot pass through restri...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
With the increasing adoption of Java for parallel and distributed computing, there is a strong motivation for enhancing the expressive elegance of the RMI paradigm with flexible ...
GIS
2006
ACM
14 years 10 months ago
2006
ACM
Geography Markup Language (GML) is an XML-based language for the markup, storage, and exchange of geospatial data. It provides a rich geospatial vocabulary and allows flexible doc...
SIGSOFT
1996
ACM
14 years 1 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
ICSE
2000
IEEE-ACM
14 years 16 days ago
2000
IEEE-ACM
Simulation is frequently used for training in many application areas like aviation and economics, but not in software engineering. We present the SESAM project which focuses on so...