Sciweavers

595 search results - page 68 / 119
» Representing and Executing Agent-Based Systems
Sort
View
77
Voted
ROOM
2000
15 years 7 days ago
Statecharts as Protocols for Objects
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
Annette Laue, Matthias Liedtke, Daniel Moldt, Ivan...
WSC
1997
15 years 6 days ago
A Conceptual Activity Cycle-Based Simulation Modeling Method
This paper studies activity cycle diagrams (ACD) for modeling construction processes using activities as the basic elements. An ACD is obtained by combining the activity cycles of...
Jingsheng Shi
FIT
2010
14 years 5 months ago
Building AS-IS process models from task descriptions
Business processes have to adopt the changes driven by the market to remain competitive. This requires improvement of business processes, which can be carried out by understanding...
Azeem Lodhi, Gamal Kassem, Veit Köppen, Gunte...
101
Voted
CAISE
2009
Springer
15 years 5 months ago
A Goal Modeling Framework for Self-contextualizable Software
Self-contextualizability refers to the system ability to autonomously adapt its behaviour to context in order to maintain its objectives satisfied. In this paper, we propose a mod...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
81
Voted
KBSE
2003
IEEE
15 years 4 months ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...