Sciweavers

15635 search results - page 287 / 3127
» A Designing Model of XML-Dataweb
Sort
View
LFCS
1997
Springer
15 years 10 months ago
Back-Forth Equivalences for Design of Concurrent Systems
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...
Igor V. Tarasyuk
AIIDE
2006
15 years 8 months ago
Procedural Level Design for Platform Games
Although other genres have used procedural level generation to extend gameplay and replayability, platformer games have not yet seen successful level generation. This paper propos...
Kate Compton, Michael Mateas
CASCON
2006
117views Education» more  CASCON 2006»
15 years 8 months ago
Requirements-driven design of autonomic application software
Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protect...
Alexei Lapouchnian, Yijun Yu, Sotirios Liaskos, Jo...
CGF
2010
163views more  CGF 2010»
15 years 6 months ago
Meshless Shape and Motion Design for Multiple Deformable Objects
We present physically based algorithms for interactive deformable shape and motion modeling. We coarsely sample the objects with simulation nodes, and apply a meshless finite elem...
Bart Adams, Martin Wicke, Maks Ovsjanikov, Michael...
DEBU
2008
121views more  DEBU 2008»
15 years 6 months ago
Choreography Design Using WS-BPEL
Web Services are the state-of-the-art realization of a service-oriented architecture. While there is an agreed standard to describe the interface of services (WSDL) as well as an ...
Oliver Kopp, Frank Leymann