1613 search results - page 192 / 323 » Model-Driven Constraint Engineering |
127
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
147
click to vote
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
The interplay of multiple objects in object-oriented programming often follows specific protocols, for example certain orders of method calls and/or control structure constraints...
131
click to vote
ICEIS
2009
IEEE
15 years 11 months ago
2009
IEEE
One of the most difficult tasks in the design of information systems is how to control the behaviour of the back-end storage engine, usually a relational database. As the load on t...
141
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
116
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
The concept of self-organization is rapidly gaining importance in the area of distributed computing systems. However, we still lack the necessary means for engineering such system...