11547 search results - page 445 / 2310 » Quantum computing and communication |
187
click to vote
WOWMOM
2005
ACM
16 years 13 days ago
2005
ACM
This paper considers the small-world phenomenon in two contexts: ubiquitous computing and security. We argue that small-world properties emerge in ubicomp systems due to their nat...
162
click to vote
SIGCSE
1999
ACM
15 years 11 months ago
1999
ACM
A Global Cooperation Project was conducted with computer science classes at the Czech Technical University and North Hennepin Community College. The project was a pilot project fo...
227
click to vote
TACAS
1997
Springer
15 years 11 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
172
Voted
JPDC
2006
15 years 6 months ago
2006
Minimum Spanning Tree (MST) is one of the most studied combinatorial problems with practical applications in VLSI layout, wireless communication, and distributed networks, recent ...
183
click to vote
CAV
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...