Sciweavers

4211 search results - page 543 / 843
» A formal approach to MASQ
Sort
View
WOSP
2005
ACM
16 years 8 days ago
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
Holger Hermanns, David N. Jansen, Yaroslav S. Usen...
AIIA
2005
Springer
16 years 8 days ago
Towards a General Framework for Substitutional Adaptation in Case-Based Reasoning
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
Sara Manzoni, Fabio Sartori, Giuseppe Vizzari
ATAL
2005
Springer
16 years 8 days ago
Foundations of organizational structures in multiagent systems
We analyze the notion of organizational structure in multiagent systems and explain the precise added value and the effects of such organizational structure on the involved agents...
Davide Grossi, Frank Dignum, Mehdi Dastani, Lamb&e...
CAISE
2005
Springer
16 years 8 days ago
Meeting Decision Follow-up and Task Management
Meeting is one of the most common places where decisions are made. However, since there is hardly any formal documentation concerning decisions made in meetings, it turns out to be...
Carla Valle, John Koh
CAISE
2005
Springer
16 years 8 days ago
A Method and Tool for Business-IT Alignment in Enterprise Architecture
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
Alain Wegmann, Pavel Balabko, Lam-Son Lê, Gi...