1580 search results - page 195 / 316 » Non-Interference Through Determinism |
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
HAPTICS
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract. A new approach to teaching the skills used by health professionals during hands-on (palpation-based) examinations and procedures is reported, where students practice indi...
HPDC
1999
IEEE
14 years 2 months ago
1999
IEEE
A significant number of new Java-based technologies for mobile code (aka agents) have recently emerged. The 'Aglets' system, from IBM's research labs, provides an e...
ICDCS
1999
IEEE
14 years 2 months ago
1999
IEEE
We describe methods of identifying and exploiting sharing patterns in multi-threaded DSM applications. Active correlation tracking is used to determine the affinity, or amount of ...
ICRA
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper deals with the problem of determining the position and orientation of an autonomous guided vehicle (AGV) by fusing odometry with the information provided by a vision sys...