3387 search results - page 455 / 678 » Model-Checking for Real-Time Systems |
182
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
179
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
Multicore platforms, which include several processing cores on a single chip, are being widely touted as a solution to heat and energy problems that are impediments to single-core...
166
click to vote
ICRA
2005
IEEE
16 years 19 days ago
2005
IEEE
— We present an outdoor terrain planner that finds near optimal trajectories under dynamic and kinematic constraints. The planner can find solutions in close to real time by re...
198
click to vote
RTCSA
2005
IEEE
16 years 18 days ago
2005
IEEE
This paper describes a context information acquisition framework for a personal device that equips a variety of sensors. The framework captures context information about a user an...
199
click to vote
TIME
2005
IEEE
16 years 18 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...