1663 search results - page 154 / 333 » Compositional Service Trees |
122
Voted
COMCOM
2006
15 years 3 months ago
2006
TOPLUS is a lookup service for structured peer-to-peer networks that is based on the hierarchical grouping of peers according to network IP prefixes. In this paper we present MULT...
102
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
149
Voted
ICWE
2010
Springer
15 years 2 months ago
2010
Springer
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
141
Voted
FORTE
2007
15 years 5 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
138
Voted
BPM
2005
Springer
15 years 9 months ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...