1613 search results - page 102 / 323 » Model-Driven Constraint Engineering |
169
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
194
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
113
click to vote
CGF
2000
15 years 6 months ago
2000
In this paper, we present a new method for solving the Motion Retargeting Problem, by using an intermediate skeleton. This allows us to convert movements between hierarchically an...
168
click to vote
SOCO
2010
Springer
15 years 28 days ago
2010
Springer
Abstract When searching for information about historical events, queries are naturally formulated using temporal constraints. However, the structured temporal information needed to...
175
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
The Student Contest on Software Engineering (SCORE), organized for the first time in conjunction with the International Conference on Software Engineering (ICSE) 2009, attracted 5...