1329 search results - page 103 / 266 » Constraint-based model synthesis |
120
click to vote
WETICE
2003
IEEE
15 years 9 months ago
2003
IEEE
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
126
click to vote
ICMT
2010
Springer
15 years 9 months ago
2010
Springer
Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use,...
157
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
122
click to vote
ISSS
1995
IEEE
15 years 8 months ago
1995
IEEE
We present an integrated approach aimed at predicting layout area needed to implement a behavioral description for a given performance goal. Our approach is novel because: (1) it ...
143
click to vote
SAM
2004
15 years 5 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...