660 search results - page 113 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
112
click to vote
FOIS
2006
15 years 3 months ago
2006
The paper analyzes how and under which assumptions it is possible to compare (in a relationist setting and relatively to qualities) entities living in different worlds. We begin wi...
155
click to vote
PEPM
2010
ACM
15 years 4 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
222
click to vote
TASE
2012
IEEE
13 years 9 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
126
click to vote
ICICS
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents PCAV (Parallel Coordinates Attack Visualizer), a real-time visualization system for detecting large-scale Internet attacks including Internet worms, DDoS attack...
132
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...