932 search results - page 119 / 187 » Verifying Progress in Timed Systems |
IADIS
2003
13 years 11 months ago
2003
This paper shows a web tool designed to encourage an active reader comprehension. Being a web-technology based system, it allows easy access for a wide number of users around the ...
ICSM
2005
IEEE
14 years 3 months ago
2005
IEEE
To remain competitive in the fast paced world of software development, managers must optimize the usage of their limited resources to deliver quality products on time and within b...
MICCAI
2003
Springer
14 years 11 months ago
2003
Springer
Abstract. The development of a 3D image guidance environment will significantly enhance the performance of minimally invasive robotically assisted cardiac surgery. We have previous...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— A new strategy is developed for tracking an odor plume in an environment where wind is present. The strategy is inspired by the mechanisms that animals use to orient to stimuli...
IPSN
2005
Springer
14 years 3 months ago
2005
Springer
A wireless sensor network consists of a large number of small, resource-constrained devices and usually operates in hostile environments that are prone to link and node failures. ...