6308 search results - page 92 / 1262 » Modeling Urgency in Timed Systems |
DFT
2003
IEEE
15 years 3 months ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
ISPDC
2006
IEEE
15 years 3 months ago
2006
IEEE
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
LFCS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
112
click to vote
IWIA
2006
IEEE
15 years 3 months ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
ICPR
2006
IEEE
15 years 3 months ago
2006
IEEE
We describe an efficient and robust method of tracking human forearms as skin colored regions. Of special consideration in the design of this system are real-time and robustness ...