Sciweavers

873 search results - page 48 / 175
» E-voting: Dependability Requirements and Design for Dependab...
Sort
View
MOBICOM
2010
ACM
15 years 1 days ago
Design and experimental evaluation of multi-user beamforming in wireless LANs
Multi-User MIMO promises to increase the spectral efficiency of next generation wireless systems and is currently being incorporated in future industry standards. Although a signi...
Ehsan Aryafar, Narendra Anand, Theodoros Salonidis...
POPL
2001
ACM
16 years 4 days ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
ECOOPW
2003
Springer
15 years 5 months ago
Modeling Variability for Object-Oriented Product Lines
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
Matthias Riebisch, Detlef Streitferdt, Ilian Pasho...
ISLPED
2004
ACM
153views Hardware» more  ISLPED 2004»
15 years 5 months ago
Any-time probabilistic switching model using bayesian networks
Modeling and estimation of switching activities remain to be important problems in low-power design and fault analysis. A probabilistic Bayesian Network based switching model can ...
Shiva Shankar Ramani, Sanjukta Bhanja
PDP
2003
IEEE
15 years 5 months ago
Building Grid MPI Applications from Modular Components
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
Yiannis Cotronis