3038 search results - page 243 / 608 » Issues in Multiagent System Development |
165
click to vote
ATC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
100
Voted
IAAI
1990
15 years 6 months ago
1990
Computer security auditing constitutes an important part of any organization's security procedures. Because of the many inadequacies of currently used manual methods, thoroug...
175
Voted
IC3
2009
15 years 2 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
161
Voted
PPAM
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents an overview of pARMS, a package for solving sparse linear systems on parallel platforms. Preconditioners constitute the most important ingredient in the solutio...
163
click to vote
CODES
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate ...