Search Sciweavers | Sciweavers

13791 search results - page 50 / 2759

» Modeling Web Interactions

click to vote

ICSOC
2007
Springer

155views Applied Computing» more ICSOC 2007»

Verifying Temporal and Epistemic Properties of Web Service Compositions

14 years 1 months ago

Download www.doc.ic.ac.uk

Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...

Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...

claim paper

Read More »

click to vote

IJWIS
2006

104views more IJWIS 2006»

DaVinci - A model-driven web engineering framework

13 years 7 months ago

Download www.faw.uni-linz.ac.at

The World Wide Web has undergone a rapid transition from the originally static hypertext to an ubiquitous hypermedia system. Today, the Web is not only used as a basis for distribu...

Andreas Langegger, Jürgen Palkoska, Roland Wa...

claim paper

Read More »

click to vote

INTERACT
2003

129views Human Computer Interaction» more INTERACT 2003»

Toward Creative 3D Modeling: an Architects' Sketches Study

13 years 9 months ago

Download insitu.lri.fr

Stéphane Huot, Cédric Dumas, G&eacut...

claim paper

Read More »