7209 search results - page 242 / 1442 » Software Engineering for Multi-Agent Systems |
CISIS
2008
IEEE
14 years 5 months ago
2008
IEEE
Currently, we are developing an agent-team based infrastructure for resource brokering and management in Grids. In this note we consider how team is supervised and how mirroring c...
AMAST
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
TACS
1994
Springer
14 years 2 months ago
1994
Springer
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressi...
FASE
2000
Springer
14 years 2 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
ITNG
2010
IEEE
14 years 3 months ago
2010
IEEE
This paper, the third in a series of four papers, describes a subsystem with integrative function named Geographic Intelligence (GI), from SNIRH, The National Water Resource Infor...