6253 search results - page 227 / 1251 » Use Case Modeling Guidelines |
156
click to vote
WSC
2007
15 years 8 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...
163
click to vote
UML
2001
Springer
15 years 11 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...
164
click to vote
CP
2008
Springer
15 years 8 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 ...
152
click to vote
APSEC
2005
IEEE
16 years 5 days 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...
187
click to vote
FMCO
2006
Springer
15 years 10 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...