1613 search results - page 102 / 323 » Model-Driven Constraint Engineering |
135
click to vote
VMCAI
2010
Springer
16 years 24 days 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 ...
152
Voted
AMAST
2000
Springer
15 years 8 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...
84
Voted
CGF
2000
15 years 3 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...
134
Voted
SOCO
2010
Springer
14 years 10 months 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...
138
Voted
SIGSOFT
2010
ACM
15 years 1 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...