2558 search results - page 37 / 512 » Model Composition Contracts |
230
click to vote
IPPS
2002
IEEE
15 years 7 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...
127
Voted
NSDI
2004
15 years 4 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...
133
Voted
FSEN
2009
Springer
15 years 6 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...
104
Voted
IROS
2009
IEEE
15 years 9 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...
128
click to vote
BPM
2005
Springer
15 years 4 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 ...