1036 search results - page 105 / 208 » The case for a location metasystem |
164
click to vote
MFCS
1997
Springer
15 years 10 months ago
1997
Springer
We prove an exponential lower bound for the length of any resolution proof for the same set of clauses as the one used by Urquhart [13]. Our contribution is a significant simpli...
166
click to vote
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Group information repositories are systems for storing and organizing files in a central location all group members can access. The functionality and capabilities of these systems...
197
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
164
click to vote
EUSAI
2004
Springer
15 years 10 months ago
2004
Springer
Pervasive resp. ubiquitous systems use context information to adapt appliance behavior to human needs. Even more convenience is reached if the appliance foresees the user's de...
175
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...