Sciweavers

4286 search results - page 423 / 858
» Formalizing Service Interactions
Sort
View
ECEASST
2008
75views more  ECEASST 2008»
15 years 6 months ago
Extended OCL for Goal Monitoring
Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to...
William N. Robinson
AMAI
2004
Springer
15 years 6 months ago
Representing von Neumann-Morgenstern Games in the Situation Calculus
Sequential von Neumann-Morgernstern (VM) games are a very general formalism for representing multi-agent interactions and planning problems in a variety of types of environments. ...
Oliver Schulte, James P. Delgrande
WWW
2008
ACM
16 years 7 months ago
Plurality: a context-aware personalized tagging system
We present the design of Plurality,1 an interactive tagging system. Plurality's modular architecture allows users to automatically generate high-quality tags over Web content...
Robert Graham, Brian Eoff, James Caverlee
WWW
2001
ACM
16 years 7 months ago
An Investigation of XML-technologies for Infrastructures for Web-based Virtual Courses
The emergence of XML has lead to a change in the development style for Web sites. XML's advantages, such as the separation of content and presentation, or the possibility to ...
Claus Pahl
NOMS
2008
IEEE
16 years 1 months ago
A state-space approach to SLA based management
Large complex systems (such as Enterprise systems) are often composed of several interacting, independent components. In many such systems, although the behavior of the constituen...
Vibhore Kumar, Karsten Schwan, Subu Iyer, Yuan Che...