184 search results - page 13 / 37 » Incremental execution of transformation specifications |
103
Voted
RE
2006
Springer
15 years 1 months ago
2006
Springer
A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a Problem Frame description involving a requ...
113
click to vote
BPSC
2009
15 years 3 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
101
Voted
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
: This paper presents the overall design of a multi-agent framework for improving the performance of an application executing in a distributed environment. The multi-agent framewor...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...