Sciweavers

1490 search results - page 169 / 298
» Interactive semantics
Sort
View
101
Voted
DSVIS
2005
Springer
15 years 3 months ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
86
Voted
ATAL
2003
Springer
15 years 3 months ago
Engineering commitment-based multiagent systems: a temporal logic approach
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
Jie Xing, Munindar P. Singh
67
Voted
CSCWD
2001
Springer
15 years 2 months ago
Verification of XRL: An XML-based Workflow Language
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kuma...
CAISE
2008
Springer
15 years 7 days ago
Semi-Automated Model Synchronisation in SOM
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
Christian Flender, Thomas Hettel, Michael Lawley, ...
90
Voted
EACL
2006
ACL Anthology
14 years 11 months ago
Exploiting Shallow Linguistic Information for Relation Extraction from Biomedical Literature
We propose an approach for extracting relations between entities from biomedical literature based solely on shallow linguistic information. We use a combination of kernel function...
Claudio Giuliano, Alberto Lavelli, Lorenza Romano