3387 search results - page 266 / 678 » Model-Checking for Real-Time Systems |
203
click to vote
ISORC
2005
IEEE
16 years 22 days ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
199
click to vote
EUC
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...
183
click to vote
IICS
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
185
click to vote
IVA
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Continuous and synchronized whole-body motions are essential for achieving believable autonomous virtual humans in interactive applications. We present a new motion contr...
206
click to vote
AUSAI
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. The algorithm selection problem aims to select the best algorithm for an input problem instance according to some characteristics of the instance. This paper presents a l...