4350 search results - page 57 / 870 » Case studies for contract-based systems |
WCRE
1999
IEEE
14 years 2 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
Abstract--Norm-enforcement models applied in human societies may serve as an inspiration for the design of multi-agent systems. Models for norm-enforcement in multi-agent systems o...
AAMAS
2008
Springer
13 years 10 months ago
2008
Springer
This paper reports on industrial deployment of multi-agent systems and agent technology. It provides an overview of several application domains and an in-depth presentation of four...
CL
2006
Springer
13 years 10 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
WSC
1997
13 years 11 months ago
1997
Parallel discrete event simulation systems (PDES) are used to simulate large-scale applications such as modeling telecommunication networks, transportation grids, and battlefield...