Sciweavers

2314 search results - page 130 / 463
» What is a Model
Sort
View
153
Voted
CAISE
2008
Springer
15 years 5 months ago
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation
The Business Process Modeling Notation (BPMN) is an increasingly important industry standard for the graphical representation of business processes. BPMN offers a wide range of mod...
Michael zur Muehlen, Jan Recker
135
Voted
CVPR
2003
IEEE
16 years 5 months ago
Evaluation of Local Models of Dynamic Backgrounds
Background subtraction is the first step of many video surveillance applications. What is considered background varies by application, and may include regular, systematic, or comp...
Robert Pless, John Larson, Scott Siebers, Ben West...
119
Voted
FDG
2009
ACM
15 years 10 months ago
Relating cognitive models of computer games to user evaluations of entertainment
As the interactive entertainment industry matures, a better understanding of what makes software entertaining is needed. A natural starting point is the application of traditional...
Paolo Piselli, Mark Claypool, James Doyle
113
Voted
CORR
2006
Springer
81views Education» more  CORR 2006»
15 years 3 months ago
Modeling Aspect Mechanisms: A Top-Down Approach
A plethora of aspect mechanisms exist today. All of these diverse mechanisms integrate concerns into artifacts that exhibit crosscutting structure. What we lack and need is a char...
Sergei Kojarski, David H. Lorenz
100
Voted
ENTCS
2006
103views more  ENTCS 2006»
15 years 3 months ago
Supporting SAT based BMC on Finite Path Models
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Ra...