340 search results - page 29 / 68 » How Should Control and Body Systems Be Coupled |
150
click to vote
POPL
2012
ACM
14 years 5 days ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
138
click to vote
ICIS
1998
15 years 6 months ago
1998
The purposes of this paper are to show how the development and procurement processes are affected by accountants and to consider what human factors knowledge accountants should ha...
140
click to vote
IASSE
2004
15 years 6 months ago
2004
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
149
Voted
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
174
Voted
AAMAS
1999
Springer
15 years 4 months ago
1999
Springer
: Although avatars may resemble communicative interface agents, they have for the most part not profited from recent research into autonomous embodied conversational systems. In pa...