Search Sciweavers | Sciweavers

13791 search results - page 50 / 2759

» Modeling Web Interactions

181

click to vote

ICSOC
2007
Springer

155views Applied Computing» more ICSOC 2007»

Verifying Temporal and Epistemic Properties of Web Service Compositions

16 years 22 days 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 »

163

click to vote

IJWIS
2006

104views more IJWIS 2006»

DaVinci - A model-driven web engineering framework

15 years 6 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 »

151

click to vote

INTERACT
2003

129views Human Computer Interaction» more INTERACT 2003»

Toward Creative 3D Modeling: an Architects' Sketches Study

15 years 8 months ago

Download insitu.lri.fr

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

claim paper