Sciweavers

1721 search results - page 33 / 345
» On Active and Passive Testing
Sort
View
SPW
2005
Springer
15 years 3 months ago
Repairing the Bluetooth Pairing Protocol
Abstract. We implement and demonstrate a passive attack on the Bluetooth authentication protocol used to connect two devices to each other. Using a protocol analyzer and a brute-fo...
Frank Stajano
112
Voted
FP
1995
156views Formal Methods» more  FP 1995»
15 years 1 months ago
Type Reconstruction for SCI
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...
Howard Huang, Uday S. Reddy
ICCS
2005
Springer
15 years 3 months ago
A Fuzzy Index Tracking Portfolio Selection Model
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
Yong Fang, Shouyang Wang
CSCW
1992
ACM
15 years 1 months ago
Awareness and Coordination in Shared Workspaces
Awareness of individual and group activities is critical to successful collaboration and is commonly supported in CSCW systems by active, information generation mechanisms separat...
Paul Dourish, Victoria Bellotti
GECCO
2006
Springer
253views Optimization» more  GECCO 2006»
15 years 1 months ago
A novel approach to optimize clone refactoring activity
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
Salah Bouktif, Giuliano Antoniol, Ettore Merlo, Ma...