Sciweavers

3429 search results - page 310 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
IAT
2009
IEEE
15 years 11 months ago
A New Semantics of Social Commitments Using Branching Space-Time Logic
—Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representa...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
15 years 11 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale
ER
2009
Springer
79views Database» more  ER 2009»
15 years 11 months ago
Modeling Domain Variability in Requirements Engineering with Contexts
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
Alexei Lapouchnian, John Mylopoulos
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 11 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
WORDS
2005
IEEE
15 years 10 months ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan