Sciweavers

8177 search results - page 1029 / 1636
» Detecting System Emulators
Sort
View
COMPSAC
2006
IEEE
16 years 1 months ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
CSFW
2006
IEEE
16 years 1 months ago
On the Completeness of Attack Mutation Algorithms
An attack mutation algorithm takes a known instance of an attack and transforms it into many distinct instances by repeatedly applying attack transformations. Such algorithms are ...
Shai Rubin, Somesh Jha, Barton P. Miller
GLOBECOM
2006
IEEE
16 years 1 months ago
Building A Monitoring Overlay for Peer-to-Peer Streaming
— Current peer-to-peer (P2P) streaming systems often assume that nodes are cooperative to upload and download data. However, in the open environment of the Internet, this is not ...
Xing Jin, Qiuyan Xia, S.-H. Gary Chan
ICDE
2006
IEEE
104views Database» more  ICDE 2006»
16 years 1 months ago
Trusted CVS
The CVS (Concurrent Versions System) software is a popular method for recording modifications to data objects, in addition to concurrent access to data in a multi-user environmen...
Muthuramakrishnan Venkitasubramaniam, Ashwin Macha...
ICIP
2006
IEEE
16 years 1 months ago
Modelization of Limb Coordination for Human Action Analysis
This paper analyzes the movements of the human body limbs (hands, feet and head) and center of gravity in order to detect simple actions such as walking, jumping and displacing an...
Kosta Gaitanis, Pedro Correa, Benoit M. Macq
« Prev « First page 1029 / 1636 Last » Next »