285 search results - page 48 / 57 » Towards a Compositional Approach to the Design and Verificat... |
181
click to vote
ICDCSW
2007
IEEE
16 years 1 days ago
2007
IEEE
We introduce the “WUI-Toolkit” as a framework to support and ease the development of wearable user interfaces (WUIs). The toolkit presents a first step towards a model-driven...
157
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...
154
click to vote
SEMWEB
2001
Springer
15 years 10 months ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
159
click to vote
ISER
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
158
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...