6953 search results - page 49 / 1391 » Development Tools for Distributed Applications |
HASE
2007
IEEE
14 years 25 days ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
PPAM
2007
Springer
14 years 3 months ago
2007
Springer
FM
1997
Springer
14 years 1 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
ICALT
2003
IEEE
14 years 2 months ago
2003
IEEE
The production process of multimedia learning material includes many participants, tasks, and tools. The system described in this paper combines all data from the development and ...
WCRE
1999
IEEE
14 years 1 months ago
1999
IEEE
Legacy systems provide services that remain useful beyond the means of the technology in which they were originally implemented. Our Legacy Wrapper tool packages the services of a...