14331 search results - page 85 / 2867 » On the modeling and analysis of obligations |
198
click to vote
ISBI
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper presents a new framework for shape modeling and analysis. A shape instance is described by a curvature-based shape descriptor. A Profile Hidden Markov Model (PHMM) is ...
177
click to vote
SDL
2003
15 years 7 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
167
click to vote
SCAM
2008
IEEE
16 years 20 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
163
click to vote
VAMOS
2007
Springer
16 years 12 days ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
144
click to vote
ISQED
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a two-step, RC-interconnect insensitive linear time-varying (LTV) driver model for gate-level timing calculation. We show how to characterize a driver with the...