Sciweavers

7 search results - page 1 / 2
» A Method for Specifying Contract Mediated Interactions
Sort
View
EDOC
2005
IEEE
13 years 10 months ago
A Method for Specifying Contract Mediated Interactions
Carlos Molina-Jiménez, Santosh K. Shrivasta...
COOPIS
1998
IEEE
13 years 9 months ago
Scheduling Non-Enforceable Contracts among Autonomous Agents
With the emergence of fast and standardized communication infrastructures over which separately designed agents of different organizations can interact in real-time, there is an i...
Thomas Tesch, Karl Aberer
CONCUR
2010
Springer
13 years 5 months ago
A Theory of Design-by-Contract for Distributed Multiparty Interactions
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Y...
ATAL
2011
Springer
12 years 4 months ago
Specifying and applying commitment-based business patterns
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
Amit K. Chopra, Munindar P. Singh
GRAPHICSINTERFACE
2001
13 years 6 months ago
Geometry-based Muscle Modeling for Facial Animation
We present a muscle model and methods for muscle construction that allow to easily create animatable facial models from given face geometry. Using our editing tool, one can intera...
Kolja Kähler, Jörg Haber, Hans-Peter Sei...