3765 search results - page 115 / 753 » Formal Methods for Systems Engineering Behavior Models |
89
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Many multi-agent systems seek to reconcile two apparently inconsistent constraints. The system’s overall objective is defined at a global level. However, the agents have only lo...
130
Voted
FMCO
2009
Springer
15 years 8 days ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
114
click to vote
IEE
2008
15 years 2 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
130
Voted
EDM
2008
15 years 4 months ago
2008
This paper discusses our approach to building models and analyzing student behaviors in different versions of our learning by teaching environment where students learn by teaching ...
127
click to vote
IJISEC
2006
15 years 2 months ago
2006
Abstract A number of recent proposals aim to incorporate security engineering into mainstream software engineering. Yet, capturing trust and security requirements at an organizatio...