3565 search results - page 277 / 713 » Modeling a system controller for timing analysis |
155
click to vote
JSSPP
2005
Springer
15 years 10 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
130
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
149
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
265
click to vote
RTAS
2011
IEEE
14 years 8 months ago
2011
IEEE
—The WirelessHART standard has been specifically designed for real-time communication between sensor and actuator devices for industrial process monitoring and control. End-toen...
149
click to vote
AUTONOMICS
2008
ACM
15 years 6 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...