4693 search results - page 449 / 939 » Verifying Hybrid Systems |
203
click to vote
CMSB
2004
Springer
16 years 15 days ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
180
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...
182
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
177
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
It is widely believed that mathematics will be one of the major applications for Tablet PCs and other pen-based devices. In this paper we discuss many of the issues that make doin...
196
click to vote
NN
2008
Springer
15 years 7 months ago
2008
Springer
Wide-area coordinating control is becoming an important issue and a challenging problem in the power industry. This paper proposes a novel optimal wide-area coordinating neurocont...