754 search results - page 61 / 151 » Requirements for Automotive System Engineering Tools |
ICSE
1998
IEEE-ACM
14 years 28 days ago
1998
IEEE-ACM
Continuous availability is a critical requirement for an important class of software systems. For these systems, runtime system evolution can mitigate the costs and risks associat...
BMCBI
2007
13 years 8 months ago
2007
Background: High-throughput molecular biology provides new data at an incredible rate, so that the increase in the size of biological databanks is enormous and very rapid. This sc...
FLAIRS
2007
13 years 11 months ago
2007
We are working on a project aimed at building next generation analyst support tools that focus analysts’ attention on the most critical and novel information found within the da...
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
EMSOFT
2006
Springer
13 years 10 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...