173 search results - page 21 / 35 » Model Checking Communicative Agent-Based Systems |
150
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...
223
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
115
click to vote
AICT
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we propose a framework for QualityDriven Delivery (QDD) in distributed multimedia environments. Quality-driven delivery refers to the capacity of a system to delive...
147
click to vote
MODELLIERUNG
2004
15 years 6 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
165
Voted
AMKM
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents an agent-based approach to semantic exploration and knowledge discovery in large information spaces by means of capturing, visualizing and making usable implic...