Sciweavers

17185 search results - page 154 / 3437
» Computational and Quantitative Studies
Sort
View
BROADNETS
2005
IEEE
15 years 12 months ago
Measuring performance impact of security protocols in wireless local area networks
- In this paper, we study and quantify the impact of the most widely used security protocols, such as 802.1x, EAP, IPSEC, SSL and RADIUS, in wireless local area networks (WLANs). B...
Avesh Kumar Agarwal, Wenye Wang
CSB
2005
IEEE
129views Bioinformatics» more  CSB 2005»
15 years 12 months ago
Deformable Modeling for Improved Calculation of Molecular Velocities from Single-Particle Tracking
Single-particle tracking provides a powerful technique for measuring dynamic cellular processes on the level of individual molecules. Much recent work has been devoted to using si...
Peter M. Kasson, Mark M. Davis, Axel T. Brüng...
CALCO
2005
Springer
104views Mathematics» more  CALCO 2005»
15 years 12 months ago
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
Samson Abramsky
DBPL
2005
Springer
130views Database» more  DBPL 2005»
15 years 12 months ago
Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints
Consistent query answering is the problem of computing the answers from a database that are consistent with respect to certain integrity constraints that the database as a whole ma...
Leopoldo E. Bertossi, Loreto Bravo, Enrico Francon...
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 11 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha