Sciweavers

4286 search results - page 179 / 858
» Formalizing Service Interactions
Sort
View
LACL
2005
Springer
15 years 12 months ago
A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars
Locality Conditions (LCs) on (unbounded) dependencies have played a major role in the development of generative syntax ever since the seminal work by Ross [22]. Descriptively, they...
Hans-Martin Gärtner, Jens Michaelis
ECSCW
2007
15 years 7 months ago
Asymmetrical collaboration in print shop-customer relationships
The service provider-customer relationship, although not perhaps considered a typical collaborative relationship, is clearly collaborative work. However, such work is constrained b...
Jacki O'Neill, David Martin, Tommaso Colombino, Je...
DAIS
2003
15 years 7 months ago
Towards an Intuitive Interface for Tailored Service Compositions
Abstract. Novel modes of interaction and tailored application delivery are a key challenge in ubiquitous computing. This paper proposes a method of adaptively delivering lightweigh...
Steffen Higel, Tony O'Donnell, David Lewis, Vincen...
ICISS
2010
Springer
15 years 4 months ago
A Practical Generic Privacy Language
Abstract. We present a declarative language with a formal semantics for specifying both users' privacy preferences and services' privacy policies. Expressiveness and appl...
Moritz Y. Becker, Alexander Malkis, Laurent Bussar...
FM
2006
Springer
124views Formal Methods» more  FM 2006»
15 years 10 months ago
Compositional Binding in Network Domains
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
Pamela Zave