1613 search results - page 106 / 323 » Model-Driven Constraint Engineering |
117
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
113
click to vote
ICCAD
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
127
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper is concerned with asymptotic observability and stabilizability of dynamical systems over communication channels subject to limited transmission capacity constraint and ...
133
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—In hybrid Optical/packet networks, wavelength and VLAN tag continuity along a Label Switched Path are two common constraints. These two types of constraints, referred to as Gene...
117
Voted
ICDE
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...