2810 search results - page 350 / 562 » Contract-Based Component System Design |
133
click to vote
DFG
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
142
click to vote
COOTS
1997
15 years 4 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
134
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
130
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
It is not uncommon for modern systems to be composed of a variety of interacting services, running across multiple machines in such a way that most developers do not really unders...
148
click to vote
JCIT
2007
15 years 2 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...