5348 search results - page 726 / 1070 » Models for the Compressible Web |
187
click to vote
CHI
2003
ACM
16 years 8 months ago
2003
ACM
Displaying and navigating information on a large screen can be a challenge and has resulted in a variety of techniques such as text summarization and fisheye. An additional challe...
222
click to vote
PERCOM
2003
ACM
16 years 7 months ago
2003
ACM
The Open Hypermedia model is based upon the separation of hypertext links from documents and treats them as separate entities. Distributed link services take this approach and imp...
173
click to vote
ICTAI
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper proposes an ontology-powered Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption ...
178
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
217
click to vote
ICSOC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...