Search Sciweavers | Sciweavers

3073 search results - page 57 / 615

» Real World Verification

click to vote

RAID
2010
Springer

181views Computer Networks» more RAID 2010»

Inferring Protocol State Machine from Real-World Trace

13 years 6 months ago

Download www.raid2010.org

Application-level protocol speciﬁcations are helpful for network security management, including intrusion detection, intrusion prevention and detecting malicious code. However, c...

Yipeng Wang, Zhibin Zhang, Li Guo

claim paper

Read More »

click to vote

TSE
2010

152views more TSE 2010»

An Experience in Testing the Security of Real-World Electronic Voting Systems

13 years 6 months ago

Download www.cs.ucsb.edu

—Voting is the process through which a democratic society determines its government. Therefore, voting systems are as important as other well-known critical systems, such as air ...

Davide Balzarotti, Greg Banks, Marco Cova, Viktori...

claim paper

Read More »

click to vote

TVCG
2010

129views more TVCG 2010»

Projector Placement Planning for High Quality Visualizations on Real-World Colored Objects

13 years 6 months ago

Download www.cs.purdue.edu

—Many visualization applications benefit from displaying content on real-world objects rather than on a traditional display (e.g., a monitor). This type of visualization display ...

Alvin J. Law, Daniel G. Aliaga, Aditi Majumder

claim paper

Read More »

click to vote

REALWSN
2010

106views Sensor Networks» more REALWSN 2010»

Demo Abstract: Bridging the Gap between Simulated Sensor Nodes and the Real World

13 years 5 months ago

Download www.itm.uni-luebeck.de

Tobias Baumgartner, Daniel Bimschas, Sándor...

claim paper

Read More »