575 search results - page 76 / 115 » A Calculus for Interaction Nets |
CSCWD
2001
Springer
15 years 6 months ago
2001
Springer
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...
107
Voted
ISWC
2000
IEEE
15 years 6 months ago
2000
IEEE
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 ...
125
Voted
BPM
2007
Springer
15 years 3 months ago
2007
Springer
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 ...
114
click to vote
CSCWD
2008
Springer
15 years 3 months ago
2008
Springer
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...
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...