3387 search results - page 441 / 678 » Model-Checking for Real-Time Systems |
191
click to vote
ICCS
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. In the future, advanced biomechanical simulations of brain deformation during surgery will require access to multi-teraflop parallel hardware, supporting operating room i...
209
click to vote
ISWC
1998
IEEE
15 years 11 months ago
1998
IEEE
Symbol Technologies has completed a unique accomplishment; it has created a commercially successful Wearable Computer. The success of this product is directly due to a structured ...
198
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper deals with the IEC 61499 standard. A function block (FB) is an event triggered component and an application is a distributed FBs network on several devices. We consider...
207
click to vote
APVIS
2004
15 years 8 months ago
2004
Early detection of problems within a code base can save much effort and associated cost as time progresses. One method of performing routine assessment of code with a view to pre-...
215
click to vote
KES
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes a practical dynamic route planning method using real road maps in a wide area. The maps include traffic signals, road classes, and the number of lanes. The pr...