1284 search results - page 150 / 257 » Abstract Processes in Orchestration Languages |
136
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
203
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
122
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
138
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
129
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...