Sciweavers

2701 search results - page 117 / 541
» On the form of witness terms
Sort
View
ICDS
2009
IEEE
16 years 1 months ago
Anticipating the Digital University
The University of the Digital Society is based on interactions that facilitate learning in a new pragmatic context. Catalysts involved in the learning process replace the traditio...
Mihai Nadin
CONCUR
2009
Springer
16 years 1 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
SSD
2009
Springer
141views Database» more  SSD 2009»
16 years 29 days ago
Spatial Cloaking Revisited: Distinguishing Information Leakage from Anonymity
Abstract. Location-based services (LBS) are receiving increasing popularity as they provide convenience to mobile users with on-demand information. The use of these services, howev...
Kar Way Tan, Yimin Lin, Kyriakos Mouratidis
ASPDAC
2009
ACM
143views Hardware» more  ASPDAC 2009»
16 years 29 days ago
Statistical modeling and analysis of chip-level leakage power by spectral stochastic method
In this paper, we present a novel statistical full-chip leakage power analysis method. The new method can provide a general framework to derive the full-chip leakage current or po...
Ruijing Shen, Ning Mi, Sheldon X.-D. Tan, Yici Cai...
FDG
2009
ACM
16 years 29 days ago
Characterizing and understanding game reviews
Game reviews are one of the primary forms of videogame journalism and are also one of the prevalent forms of discourse about games. How can we characterize them and better underst...
José Pablo Zagal, Amanda Ladd, Terris Johns...