Sciweavers

10669 search results - page 1739 / 2134
» Software - Implemented Self-healing System
Sort
View
ICDAR
2009
IEEE
16 years 1 months ago
Camera-Based Ballot Counter
Portable ballot counters using camera technology and manual paper feed are potentially more reliable and less expensive than scanner-based systems. We show that the spatial sampli...
George Nagy, Bryan Clifford, Andrew Berg, Glenn Sa...
RTCSA
2009
IEEE
16 years 1 months ago
PLL Based Time Synchronization in Wireless Sensor Networks
Abstract—Time synchronization is a key component in numerous wireless sensor network applications. Most of the current software based time synchronization approaches suffer from ...
Gang Zhou, Sachin Shetty, George Simms, Min Song
SADFE
2009
IEEE
16 years 1 months ago
Automating Disk Forensic Processing with SleuthKit, XML and Python
We have developed a program called fiwalk which produces detailed XML describing all of the partitions and files on a hard drive or disk image, as well as any extractable metadat...
Simson L. Garfinkel
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
168
Voted
ATAL
2009
Springer
16 years 1 months ago
HIHEREI: human interaction within hybrid environments regulated through electronic institutions
In this paper we present an application build on top of electronic institutions in order to create a remote experimental platform for human and virtual agents. Our software object...
Ismel Brito, Isaac Pinyol, Daniel Villatoro, Jordi...
« Prev « First page 1739 / 2134 Last » Next »