3638 search results - page 444 / 728 » Optimization via communication networks |
157
Voted
SCAM
2007
IEEE
16 years 29 days ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
179
click to vote
SPAA
2005
ACM
16 years 7 days ago
2005
ACM
We prove that with high probability a skip graph contains a 4-regular expander as a subgraph, and estimate the quality of the expansion via simulations. As a consequence skip grap...
202
click to vote
FMCO
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
163
click to vote
VRCAI
2004
ACM
16 years 3 days ago
2004
ACM
This paper explores the possibilities of using portable devices in multiprojection environments, such as CAVEs, Panoramas and Power Walls. We propose and implement a tool to gener...
136
click to vote
IADIS
2003
15 years 8 months ago
2003
This paper suggests cultural models for virtual banking based on ethnographic research. The spatial and temporal features of cybersp ace change the traditional banking service and...