478 search results - page 31 / 96 » Behavioral Specification of Real-Time Requirements |
JVM
2004
13 years 9 months ago
2004
Modern Java programs, such as middleware and application servers, include many complex software components. Improving the performance of these Java applications requires a better ...
RE
2001
Springer
14 years 23 hour ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
HCI
2007
13 years 9 months ago
2007
Emerging applications in the area of Emergency Response and Disaster Management are increasingly demanding interactive capabilities to allow for the quick understanding of a critic...
ASPDAC
2000
ACM
13 years 12 months ago
2000
ACM
- This paper introduces the first hardwarekoftware co-synthesis algorithm that optimizes the implementations of ASICs that are used as processing elements for the embedded systems....
IICAI
2007
13 years 9 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...