1613 search results - page 187 / 323 » Model-Driven Constraint Engineering |
137
click to vote
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability priced timed game automata and prove ...
122
click to vote
EH
2002
IEEE
15 years 9 months ago
2002
IEEE
When will we be secure? Nobody knows for sure ā but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customersā...
146
click to vote
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
127
click to vote
IM
2007
15 years 5 months ago
2007
Service-oriented Architecture allows for reusable services to be composed in such a way that business tasks or activities are easily satisļ¬ed. However, currently there is a abst...
126
Voted
FLAIRS
2006
15 years 5 months ago
2006
Context can be seen as a paradigm aiming to improve user interaction with software. For Web applications in particular, the issues of content explosion and technological constrain...