687 search results - page 34 / 138 » Specification and Verification of Model Transformations Usin... |
113
click to vote
DASC
2006
IEEE
15 years 4 months ago
2006
IEEE
We present a new approach to ensure the secure execution of itinerary-driven mobile agents, in which the specification of the navigational behavior of an agent is separated from t...
106
click to vote
ER
2005
Springer
15 years 6 months ago
2005
Springer
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
101
Voted
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
106
Voted
ECMDAFA
2009
Springer
15 years 4 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
CAV
2006
Springer
15 years 4 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...