2485 search results - page 327 / 497 » A Communicating Tree Model for Generating Network Applicatio... |
113
click to vote
CGF
2008
15 years 4 months ago
2008
In this paper, we present an automated system for generating context-preserving route maps that depict navigation routes as a path between nodes and edges inside a topographic net...
221
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
With large amounts of correlated probabilistic data being generated in a wide range of application domains including sensor networks, information extraction, event detection etc.,...
123
click to vote
VRCAI
2004
ACM
15 years 9 months 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...
145
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
191
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
— VoIP over wireless local area network (WLAN) is an important application of WLAN and gaining more and more attention recently. In this paper, we analyze the maximum number of V...