1252 search results - page 97 / 251 » Complex Systems and Agent-Oriented Software Engineering |
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
104
click to vote
FDL
2004
IEEE
15 years 4 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
119
click to vote
CSMR
2009
IEEE
15 years 5 months ago
2009
IEEE
Creating accurate models of information systems is an important but challenging task. It is generally well understood that such modeling encompasses general scientific issues, bu...
EUROMICRO
1998
IEEE
15 years 5 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
117
click to vote
ICRE
1998
IEEE
15 years 5 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...