285 search results - page 18 / 57 » Towards a Compositional Approach to the Design and Verificat... |
PDP
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract—The evolution towards cross-organizational collaboration and interaction patterns has led to the emergence of scalable, Web services-based composition infrastructures. T...
ICIW
2007
IEEE
14 years 2 months ago
2007
IEEE
—In this paper, we present a new approach for service discovery combining semantic web and peer-to-peer techniques. A reference ontology is used to describe and discover services...
EICS
2011
ACM
12 years 12 months ago
2011
ACM
This paper describes a model-based approach for designing distributed user interfaces (DUIs), i.e. graphical user interfaces that are distributed along one or many of the followin...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
WORDS
2002
IEEE
14 years 1 months ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...