1613 search results - page 84 / 323 » Model-Driven Constraint Engineering |
133
click to vote
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Hierarchical software components offer interesting characteristics for the development of complex applications. However, supporting the deployment of such applications is difficult...
325
click to vote
ICSE
2012
IEEE-ACM
13 years 5 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
127
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been devoted to trying to provide practical solutions to ...
125
Voted
IWSAS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...
126
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
This paper reports on the 2nd Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’06) held on October 2nd, 2006 at the MoDELS’06 conference in Genova, Ital...