226 search results - page 33 / 46 » IF: A Validation Environment for Timed Asynchronous Systems |
VL
2008
IEEE
14 years 3 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
SIGSOFT
2006
ACM
14 years 2 months ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
ADAEUROPE
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
ICON
2007
IEEE
14 years 2 months ago
2007
IEEE
—Inter-domain routing is suffering from the lack of identifiers for the rapidly growing number of Autonomous Systems (AS), and therefore the 4-byte AS number has been proposed a...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
During maintenance, systems are updated to correct faults, improve functionality, and adapt the software to changes in its execution environment. The typical softwareupdate proces...