Sciweavers

1328 search results - page 17 / 266
» Info Cases: Integrating Use Cases and Domain Models
Sort
View
SARA
2007
Springer
14 years 2 months ago
Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
Ian P. Gent, Ian Miguel, Andrea Rendl
IPMU
2010
Springer
14 years 17 days ago
Modelling Patterns of Evidence in Bayesian Networks: A Case-Study in Classical Swine Fever
Upon engineering a Bayesian network for the early detection of Classical Swine Fever in pigs, we found that the commonly used approach of separately modelling the relevant observab...
Linda C. van der Gaag, Janneke H. Bolt, Willie Loe...
FMICS
2006
Springer
14 years 7 days ago
Model-Based Testing of a WAP Gateway: An Industrial Case-Study
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
Anders Hessel, Paul Pettersson
IEEESCC
2005
IEEE
14 years 2 months ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
DIAGRAMS
2006
Springer
14 years 8 days ago
Toward a Comprehensive Model of Graph Comprehension: Making the Case for Spatial Cognition
We argue that a comprehensive model of graph comprehension must include spatial cognition. We propose that current models of graph comprehension have not needed to incorporate spat...
Susan Bell Trickett, J. Gregory Trafton