2407 search results - page 271 / 482 » A Tool for Abstraction in Model Checking |
187
click to vote
WSC
2004
15 years 8 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
166
click to vote
IWSEC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
159
click to vote
SCALESPACE
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Motion estimation is one of the key tools in many video processing applications. Most of the existing motion estimation approaches use the brightness constancy assumption...
260
click to vote
BPSC
2010
15 years 3 months ago
2010
Abstract: While agility is a core challenge in today's competitive business, softwarebased business process modeling and execution approaches often refer to strict and inflexi...
216
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...