Sciweavers

3379 search results - page 115 / 676
» Combinators for Interaction Nets
Sort
View
CSCWD
2001
Springer
15 years 8 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...
ISWC
2000
IEEE
15 years 8 months ago
Wearable Key: Device for Personalizing Nearby Environment
This paper describes a system that allows users who obtain a “wearable ID key” to personalize dynamically ubiquitous computers by simply touching them. We call the concept of ...
Nobuyuki Matsushita, Shigeru Tajima, Yuji Ayatsuka...
BPM
2007
Springer
152views Business» more  BPM 2007»
15 years 5 months ago
Behavioral Constraints for Services
Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered ...
Niels Lohmann, Peter Massuthe, Karsten Wolf
131
Voted
CSCWD
2008
Springer
15 years 5 months ago
A method of task allocation for collaborative diagnosis
In the domain of collaborative diagnosis which joined with multi-resource, on account of equipment's complexity and diagnosis resource's heterogeneous, diagnosis task all...
JianHui Liu, XianSheng Qin
BMCBI
2007
114views more  BMCBI 2007»
15 years 4 months ago
Probabilistic prediction and ranking of human protein-protein interactions
Background: Although the prediction of protein-protein interactions has been extensively investigated for yeast, few such datasets exist for the far larger proteome in human. Furt...
Michelle S. Scott, Geoffrey J. Barton