Sciweavers

531 search results - page 48 / 107
» Dynamic Observers for Fault Diagnosis of Timed Systems
Sort
View
SLP
1994
77views more  SLP 1994»
15 years 3 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
SIGSOFT
2006
ACM
16 years 2 months ago
Dynamic slicing long running programs through execution fast forwarding
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
Xiangyu Zhang, Sriraman Tallam, Rajiv Gupta
INFOCOM
2006
IEEE
15 years 8 months ago
A Quasi-Species Approach for Modeling the Dynamics of Polymorphic Worms
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
Bradley Stephenson, Biplab Sikdar
116
Voted
HT
2009
ACM
15 years 8 months ago
Statistical properties of inter-arrival times distribution in social tagging systems
Folksonomies provide a rich source of data to study social patterns taking place on the World Wide Web. Here we study the temporal patterns of users’ tagging activity. We show t...
Andrea Capocci, Andrea Baldassarri, Vito Domenico ...
IWANN
2009
Springer
15 years 8 months ago
Switching Dynamics of Neural Systems in the Presence of Multiplicative Colored Noise
We study the dynamics of a simple bistable system driven by multiplicative correlated noise. Such system mimics the dynamics of classical attractor neural networks with an addition...
Jorge F. Mejías, Joaquín J. Torres, ...