2250 search results - page 282 / 450 » Interactive Explanation of Software Systems |
151
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
117
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Long transactions cause pragmatic problems for workflow systems – as the transaction is moving, so is the surrounding world. We look at three scenarios in which external events ...
123
click to vote
HOTOS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes the vision of the Collective, a compute utility which runs internet services as well as the highly interactive applications we run on desktop computers today....
147
click to vote
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
151
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Artificial agents trying to achieve communicative goals in situated interactions in the real-world need powerful computational systems for conceptualizing their environment. In ord...