660 search results - page 48 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
141
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
115
click to vote
RE
2001
Springer
15 years 7 months 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 ...
128
click to vote
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes SOPA, a component framework that is an essential part of the lecture recording system E-Chalk. It envisages a general processing and streaming architecture fe...
113
Voted
SAFECOMP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
155
Voted
CL
2008
Springer
15 years 2 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...