Sciweavers

4079 search results - page 601 / 816
» Differential Testing for Software
Sort
View
HCI
2007
15 years 5 months ago
Measuring User Experiences of Prototypical Autonomous Products in a Simulated Home Environment
Advances in sensor technology, embedded processing power, and modeling and reasoning software, have created the possibility for everyday products to sense the environment and pro-a...
Martijn H. Vastenburg, David V. Keyson, Huib de Ri...
BIOCOMP
2006
15 years 5 months ago
Filtering Tandem Repeats in DNA Sequences
A tandem repeat is a sequence of two or more contiguous, approximate copies of a pattern. Tandem repeats occur in the genomes of both eukaryotic and prokaryotic organisms. They ar...
Dina Sokol, Justin Tojeira
DIMVA
2006
15 years 5 months ago
A Fast Worm Scan Detection Tool for VPN Congestion Avoidance
Finding the cause for congested virtual private network (VPN) links that connect an office network over the Internet to remote subsidiaries can be a hassle. Scan traffic of worm i...
Arno Wagner, Thomas Dübendorfer, Roman Hiesta...
NSDI
2004
15 years 5 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
WSC
2004
15 years 5 months ago
Visual Modeling of Business Problems: Workflow and Patterns
Computer-based business analysis relies on models, or algorithmic representations of the business process. Real-life business problems can become very complex, which creates diffi...
Lev Virine, Jason McVean