860 search results - page 94 / 172 » Towards a UML for Interactive Systems |
123
click to vote
AUTONOMICS
2009
ACM
15 years 4 months ago
2009
ACM
Abstract. Autonomic computing is being advocated as a tool for managing large, complex computing systems. Specifically, self-organisation provides a suitable approach for developi...
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
The paper presents several novel 3D image analysis algorithms, applied towards the segmentation and modeling of faces and hands. These are subsequently used to build a face-based ...
AAMAS
1999
Springer
14 years 9 months ago
1999
Springer
Achieving effective cooperation in a multi-agent system is a difficult problem for a number of reasons such as limited and possiblyout-datedviews of activitiesof other agents and ...
PRIMA
2004
Springer
15 years 3 months ago
2004
Springer
This paper introduces teams of personal agents that support users individually in electronic negotiations. These agents listen to the running negotiation and to each other to point...