Sciweavers

8555 search results - page 171 / 1711
» Property Based Coordination
Sort
View
PUC
2007
116views more  PUC 2007»
15 years 4 months ago
Periodic properties of user mobility and access-point popularity
Understanding user mobility and its effect on access points (APs) is important in designing location-aware systems and wireless networks. Although various studies of wireless netwo...
Minkyong Kim, David Kotz
FMSD
2010
123views more  FMSD 2010»
15 years 3 months ago
Analog property checkers: a DDR2 case study
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...
Kevin D. Jones, Victor Konrad, Dejan Nickovic
SIAMREV
2010
170views more  SIAMREV 2010»
14 years 11 months ago
Network Properties Revealed through Matrix Functions
The newly emerging field of Network Science deals with the tasks of modelling, comparing and summarizing large data sets that describe complex interactions. Because pairwise affin...
Ernesto Estrada, Desmond J. Higham
ICSE
2005
IEEE-ACM
16 years 4 months ago
Beyond computer science
Computer science is necessary but not sufficient to understand and overcome the problems we face in software engineering. We need to understand not only the properties of the soft...
James D. Herbsleb
MOBIQUITOUS
2007
IEEE
15 years 10 months ago
Design and Evaluation of a Hybrid Physical Space Service for Pervasive Computing Applications
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...
Nancy Miller, Peter Steenkiste