5085 search results - page 325 / 1017 » Multidimensional Design by Examples |
179
Voted
MPC
1995
Springer
15 years 10 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
196
click to vote
AAAI
2007
15 years 9 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
139
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Messaging with new media should be fun, but sometimes participating in conversations can become a burden for users due to the effort required. In this paper, examples of such situ...
173
click to vote
EHCI
2004
15 years 8 months ago
2004
Ubiquitous computing requires a multitude of devices to have access ame services. Abstract specifications of user interfaces are designed to separate the definition of a user inter...
198
click to vote
UAI
1998
15 years 8 months ago
1998
We present an anytime algorithm which computes policies for decision problems represented as multi-stage influence diagrams. Our algorithm constructs policies incrementally, start...