1677 search results - page 267 / 336 » On the Completeness of Quantum Computation Models |
149
click to vote
ICCS
1999
Springer
15 years 5 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
111
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
108
click to vote
IPTPS
2005
Springer
15 years 7 months ago
2005
Springer
Arpeggio is a peer-to-peer file-sharing network based on the Chord lookup primitive. Queries for data whose metadata matches a certain criterion are performed efficiently by using...
120
click to vote
RTSS
1992
IEEE
15 years 5 months ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...
127
click to vote
ACMICEC
2007
ACM
15 years 5 months ago
2007
ACM
We consider a virtual computing environment that provides computational resources on demand to users with multiattribute task descriptions that include a valuation, resource (CPU)...