280 search results - page 21 / 56 » Argumentation in Multi-Agent Systems: Context and Recent Dev... |
177
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
169
click to vote
ENTCS
2002
15 years 5 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
194
click to vote
SCAI
1993
15 years 7 months ago
1993
Among the most important challenges for contemporary AI research are the development of methods for improved robustness, adaptability, and overall interactiveness of systems. Inter...
141
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
SystemC is emerging as a de-facto standard for system design but it still lacks support for continuous-time models of computation and multi-domain systems. This becomes an issue a...
163
click to vote
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...