3228 search results - page 429 / 646 » Computationally Sound Proofs |
136
Voted
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
We argue that joint administration of access policies for a dynamic coalition formed by autonomous domains requires that these domains set up a coalition authority that distribute...
118
click to vote
SAINT
2002
IEEE
15 years 8 months ago
2002
IEEE
The development of the infrastructure for ubiquitous computing is progressing rapidly, yet the applications that will be built on this new infrastructure remain largely ill define...
122
Voted
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
137
Voted
MM
1999
ACM
15 years 8 months ago
1999
ACM
—A user’s focus of attention plays an important role in human–computer interaction applications, such as a ubiquitous computing environment and intelligent space, where the u...
141
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Parallel programming continues to be difficult, despite substantial and ongoing research aimed at making it tractable. Especially dismaying is the gulf between theory and the pract...