183 search results - page 10 / 37 » A Hybrid Testing Methodology for Railway Control Systems |
165
click to vote
ESAW
2007
Springer
16 years 9 hour ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
135
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
163
click to vote
ICST
2008
IEEE
16 years 7 days ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
159
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
138
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
We present a framework for designing stable control schemes for systems whose dynamic equations change as they evolve on the state space. It is usually difficult or even impossible...