3229 search results - page 582 / 646 » Theories with the Independence Property |
166
click to vote
LCTRTS
2007
Springer
16 years 15 days ago
2007
Springer
Energy efficiency is an important factor in embedded systems design. We consider an embedded system with a dynamic voltage scaling (DVS) capable processor and its system-wide pow...
155
click to vote
SEMWEB
2007
Springer
16 years 14 days ago
2007
Springer
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
148
click to vote
TCC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We present a public-key encryption scheme with the following properties. Given a branching program P and an encryption c of an input x, it is possible to efficiently com...
173
click to vote
TGC
2007
Springer
16 years 14 days ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
198
click to vote
WADS
2007
Springer
16 years 14 days ago
2007
Springer
A ball graph is an intersection graph of a set of balls with arbitrary radii. Given a real number t > 1, we say that a subgraph G′ of a graph G is a t-spanner of G, if for eve...