2501 search results - page 129 / 501 » Obligations and Their Interaction with Programs |
157
click to vote
ESOP
2007
Springer
16 years 14 days ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
141
click to vote
VRST
2005
ACM
15 years 12 months ago
2005
ACM
Inverse Kinematics (IK) is a popular technique for synthesizing motions of virtual characters. In this paper, we propose a Linear Programming based IK solver (LPIK) for interactiv...
183
click to vote
ARCS
2005
Springer
15 years 12 months ago
2005
Springer
All known life forms process information on a molecular level. This kind of chemical information processing is known to be robust, self-organizing, adaptive, decentralized, asynch...
158
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
162
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. A new approach to develop parallel and distributed scheduling algorithms for multiprocessor systems is proposed. Its main innovation lies in evolving a decomposition of t...