Sciweavers

19 search results - page 3 / 4
» Designing and Specifying Mobility within the Multiagent Syst...
Sort
View
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
14 years 1 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
APSEC
2005
IEEE
14 years 18 days ago
Architectural Style - Based Modeling and Simulation of Complex Software Systems
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
Ping Guo, Gregor Engels, Reiko Heckel
AI
2008
Springer
13 years 7 months ago
Multi-agent Framework for a Virtual Enterprise of Demand-Responsive Transportation
Abstract. This work presents a multiagent framework design for DemandResponsive Transportation, considering a virtual enterprise domain. The agent architecture obtained provides a ...
Daniel Cabrera, Claudio Cubillos
ATAL
2005
Springer
14 years 15 days ago
OWL-P: OWL for protocol and processes
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
Ashok U. Mallya, Nirmit Desai, Amit K. Chopra, Mun...
SIGSOFT
2004
ACM
14 years 7 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde