5085 search results - page 643 / 1017 » Multidimensional Design by Examples |
212
click to vote
WLP
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
186
click to vote
MHCI
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. In this paper we describe a new method and user interface for interactive positioning of a mobile device. The key element of this method is a questionanswer style dialogu...
219
click to vote
MIDDLEWARE
2004
Springer
16 years 24 days ago
2004
Springer
The Internet provides a wealth of useful information in a vast number of dynamic information sources, but it is difficult to determine which sources are useful for a given query. ...
207
click to vote
HOTOS
2003
IEEE
16 years 22 days ago
2003
IEEE
Distributed writable storage systems typically provide NFS-like semantics and unbounded persistence for files. We claim that for planetary-scale distributed services such facilit...
208
click to vote
CCS
2003
ACM
16 years 20 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...