1141 search results - page 34 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
156
click to vote
SERA
2007
Springer
16 years 3 days ago
2007
Springer
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
168
click to vote
AOSE
2005
Springer
15 years 11 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
147
click to vote
CSE
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract—A primary goal of vehicular communication systems is the enhancement of traffic safety by equipping vehicles with wireless communication units to facilitate cooperative...
157
click to vote
ICST
2008
IEEE
16 years 13 days ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
174
click to vote
TCBB
2008
15 years 5 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...