1632 search results - page 106 / 327 » Topological Analysis of Refinement |
69
Voted
AGP
1999
IEEE
15 years 3 months ago
1999
IEEE
Regarding the precision of combined domains including Jacobs and Langen's Sharing there is a core of techniques, such as the standard integration with freeness and linearity ...
97
Voted
CAV
2003
Springer
15 years 2 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
66
Voted
ECAI
2006
Springer
15 years 27 days ago
2006
Springer
We develop a criterion for coalition formation among goal-directed agents, the indecomposable do-ut-des property. The indecomposable do-ut-des property refines the do-ut-des proper...
75
Voted
ZEUS
2010
15 years 11 days ago
2010
Enterprise-wide process harmonisation initiatives require the analysis of commonalities of existing business process models. That is, correspondences between activities are identif...
ECIS
2000
15 years 8 days ago
2000
- In this paper we investigate techniques offered by current object-oriented development methods for the specification of the user-system dialogue aspect of a software system. Curr...