2722 search results - page 332 / 545 » The Model Evolution Calculus |
165
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
130
click to vote
EDOC
2008
IEEE
15 years 5 months ago
2008
IEEE
Although service-oriented architectures offer real benefits when pursuing application integration and business flexibility, there are still no satisfactory solutions for dealing w...
126
click to vote
OMER
2001
15 years 4 months ago
2001
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
150
click to vote
AIL
2008
15 years 3 months ago
2008
Software agents' ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, ...
106
click to vote
CII
2007
15 years 3 months ago
2007
Nowadays companies have to face the rapid evolution of their competitive environment. In the field of design, project managers are aware of both the impact of the designers’ com...