3831 search results - page 84 / 767 » Dynamic Context Logic |
113
click to vote
EEMMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...
89
Voted
FPL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper proposes an architecture that combines a contextswitching virtual configware/software SAT solver with an embedded processor to promote a tighter coupling betwe...
102
click to vote
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
105
Voted
FPGA
1998
ACM
15 years 4 months ago
1998
ACM
Current reconfigurable systems suffer from a significant overhead due to the time it takes to reconfigure their hardware. In order to deal with this overhead, and increase the com...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...