1401 search results - page 35 / 281 » Interactive Configuration Management for Distributed Object ... |
CCR
2004
13 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
RIDE
1997
IEEE
13 years 12 months ago
1997
IEEE
This paper presents the distributed architecture of the WIDE workflow management system. We show how distribution and scalability are obtained by the use of a distributed object m...
ISCOPE
1998
Springer
13 years 12 months ago
1998
Springer
Metacomputing frameworks have received renewed attention of late, fueled both by advances in hardware and networking, and by novel concepts such as computational grids. However the...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Human-robot collaborative task achievement requires the robot to reason not only about its current beliefs but also about the ones of its human partner. In this paper, ...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. A model of human appearance is presented for efficient pose estimation from real-world images. In common with related approaches, a high-level model defines a space of co...