6253 search results - page 227 / 1251 » Use Case Modeling Guidelines |
116
click to vote
WSC
2007
15 years 5 months ago
2007
Intelligent agents offer a new and exciting way of understanding the world of work. In this paper we apply agentbased modeling and simulation to investigate a set of problems in a...
127
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
120
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We devise a theoretical model for dichotomic search algorithms for constrained optimization. We show that, within our model, a certain way of choosing the breaking point ...
113
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
139
click to vote
FMCO
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...