2558 search results - page 37 / 512 » Model Composition Contracts |
269
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
167
click to vote
NSDI
2004
15 years 7 months ago
2004
This paper focuses on load management in looselycoupled federated distributed systems. We present a distributed mechanism for moving load between autonomous participants using bil...
192
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
146
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— EMG-to-force estimation for voluntary muscle contraction has many applications in human-machine interaction, motion analysis, and rehabilitation robotics for prosthetic limbs o...
179
click to vote
BPM
2005
Springer
15 years 8 months ago
2005
Springer
: We present a framework for augmenting business process specifications with policy expressions such as obligations, permissions and prohibitions. One use of such a combined model ...