2607 search results - page 215 / 522 » On the Architecture of System Verification Environments |
219
click to vote
KI
2010
Springer
15 years 1 months ago
2010
Springer
A service robot should be able to automatically plan manipulation actions to help people in domestic environments. Following the classic senseplan-act cycle, in this paper we prese...
134
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper explores the issues and the techniques of enabling multimedia applications for the thin client computing. A prototype of a video communication system based on H.323 fam...
165
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
144
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
144
click to vote
PRIMA
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes the architecture of a distributed workflow management system in a dynamic environment. The system features autonomous agent components that can adapt to both s...