963 search results - page 123 / 193 » Modeling and analysis of real -time systems with mutex compo... |
163
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
The work presents a modeling and analysis framework for heterogeneous industrial networks architectures which is based on a tight integration of a network simulator with embedded ...
208
click to vote
CODES
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...
213
click to vote
AB
2007
Springer
16 years 19 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
178
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
177
click to vote
COMPSAC
2006
IEEE
16 years 15 days ago
2006
IEEE
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...