3040 search results - page 105 / 608 » A framework for user-interfaces to databases |
168
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
138
Voted
DEXA
2004
Springer
15 years 10 months ago
2004
Springer
We present a framework for representing the trajectories of moving objects and the time-varying results of operations on moving objects. This framework supports the realization of ...
136
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
146
click to vote
PERVASIVE
2007
Springer
15 years 11 months ago
2007
Springer
We take two paradigms for information systems development, functionalism and social relativism, and apply their assumptions to the evaluation of ambient information systems. Ambie...
121
click to vote
HT
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents a new definition of context for contextaware computing based on a model that relies on dynamic queries over structured objects. This new model enables develop...