3119 search results - page 198 / 624 » Abstract Requirement Analysis in Multiagent System Design |
141
Voted
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Design templates that involve discovery, analysis, and integration of information resources commonly occur in many scientific research projects. In this paper we present examples o...
124
click to vote
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
137
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We consider Coalitional Skill Games (CSGs), a simple model of cooperation among agents. This is a restricted form of coalitional games, where each agent has a set of skills that a...
125
Voted
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
109
Voted
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...