9227 search results - page 446 / 1846 » Developing Use Cases from Organizational Modeling |
237
click to vote
MVA
2010
15 years 1 months ago
2010
Images of cellular structures in growing plant roots acquired using confocal laser scanning microscopy (CLSM) have some unusual properties that make motion estimation challenging....
160
click to vote
ERLANG
2006
ACM
16 years 25 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
201
click to vote
BRAIN
2010
Springer
15 years 3 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
160
click to vote
IIWAS
2004
15 years 8 months ago
2004
: Recently, the software industry has published several proposals for transactional processing in the Web service world. Even though most proposals support arbitrary transaction mo...
203
click to vote
ENTCS
2007
15 years 6 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...