6431 search results - page 273 / 1287 » Model Building by Resolution |
198
click to vote
ERLANG
2006
ACM
16 years 17 days ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
163
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. This paper focuses on how to model and build composite web services from already existing services. We build on the experience in workflow modeling and see if the princip...
173
Voted
PCI
2001
Springer
15 years 11 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
168
click to vote
ISSRE
2006
IEEE
16 years 19 days ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
222
click to vote
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...