750 search results - page 52 / 150 » Desires, Norms and Constraints |
113
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
128
click to vote
SEW
2003
IEEE
15 years 7 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
106
Voted
SCA
2007
15 years 4 months ago
2007
Time warping allows users to modify timing without affecting poses. It has many applications in animation systems for motion editing, such as refining motions to meet new timing c...
139
click to vote
TWC
2008
15 years 1 months ago
2008
Abstract--We investigate the dynamic spectrum sharing problem among primary and secondary users in a cognitive radio network. We consider the scenario where primary users exhibit o...
111
Voted
MODELS
2010
Springer
15 years 11 days ago
2010
Springer
In feature models’ construction, one basic task is to ensure the consistency of feature models, which often involves detecting and fixing of inconsistencies in feature models. S...