Sciweavers

2106 search results - page 111 / 422
» Specifying C concepts
Sort
View
HOLOMAS
2003
Springer
14 years 3 months ago
Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems
With the growing usage of the world-wide ICT networks, agent technologies and multiagent systems are attracting more and more attention, as they perform well in environments that a...
Klaus Fischer, Michael Schillo, Jörg H. Siekm...
MIS
2001
Springer
81views Multimedia» more  MIS 2001»
14 years 2 months ago
Multimedia Reporting: Building Multimedia Presentations with Query Answers
A multimedia report is a multimedia presentation which integrates data returned by one or more queries to a multimedia database, thus extending the concept of report familiar in tr...
Augusto Celentano, Ombretta Gaggi
UML
2001
Springer
14 years 2 months ago
A Formal Mapping between UML Static Models and Algebraic Specifications
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
Liliana Favre
ISCC
2000
IEEE
122views Communications» more  ISCC 2000»
14 years 2 months ago
Hierarchical Performance Modeling for Distributed System Architectures
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
Debra L. Smarkusky, Reda A. Ammar, Imad Antonios, ...
AGENTCL
2000
Springer
14 years 2 months ago
What Is a Conversation Policy?
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
Mark Greaves, Heather Holmback, Jeffrey Bradshaw