1161 search results - page 96 / 233 » Resource Modeling for Timed Creol Models |
159
click to vote
ETFA
2006
IEEE
16 years 10 days ago
2006
IEEE
Wireless Sensor and Actor Networks (WSANs) constitute an emerging and pervasive technology that is attracting increased interest for a wide range of applications. WSANs have two m...
165
click to vote
HAPTICS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present computationally efficient algorithms for the real time simulation of minimally invasive surgical (MIS) procedures. To develop a surgical simulator for tr...
150
click to vote
ECBS
2002
IEEE
15 years 11 months ago
2002
IEEE
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
207
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
174
click to vote
WINE
2009
Springer
16 years 26 days ago
2009
Springer
Congestion games are a fundamental and widely studied model for selfish allocation problems like routing and load balancing. An intrinsic property of these games is that players ...