Sciweavers

1122 search results - page 123 / 225
» Behavioral Extensions of Institutions
Sort
View
ICSEA
2006
IEEE
15 years 4 months ago
Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
Mohammad Abdollahi Azgomi, Ali Movaghar
ACOM
2006
Springer
15 years 3 months ago
Experiments in Selective Overhearing of Hierarchical Organizations
Abstract. Lately, overhearing has gained interest in monitoring multi-agent settings. Previous investigations provided an extensive set of techniques using overhearing. However, mo...
Gery Gutnik, Gal A. Kaminka
ICSM
2005
IEEE
15 years 3 months ago
Analyzing Feature Traces to Incorporate the Semantics of Change in Software Evolution Analysis
Many of the approaches that analyze software evolution consider a static perspective of a system. Static analysis approaches focus on the evolution of static software entities suc...
Orla Greevy, Stéphane Ducasse, Tudor G&icir...
SAC
2005
ACM
15 years 3 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
ATAL
2005
Springer
15 years 3 months ago
A BDI architecture for goal deliberation
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for de...
Alexander Pokahr, Lars Braubach, Winfried Lamersdo...