Sciweavers

3674 search results - page 69 / 735
» Information Dependencies
Sort
View
APN
2007
Springer
14 years 2 months ago
History-Dependent Petri Nets
Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We cons...
Kees M. van Hee, Alexander Serebrenik, Natalia Sid...
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
14 years 2 months ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
FGR
2006
IEEE
148views Biometrics» more  FGR 2006»
14 years 2 months ago
Gait Tracking and Recognition Using Person-Dependent Dynamic Shape Model
Characteristics of the 2D shape deformation in human motion contain rich information for human identification and pose estimation. In this paper, we introduce a framework for sim...
Chan-Su Lee, Ahmed M. Elgammal
SRDS
2006
IEEE
14 years 2 months ago
AVCast : New Approaches For Implementing Availability-Dependent Reliability for Multicast Receivers
Today’s large-scale distributed systems consist of collections of nodes that have highly variable availability — a phenomenon sometimes called churn. This availability variati...
Thadpong Pongthawornkamol, Indranil Gupta
WMCSA
2003
IEEE
14 years 2 months ago
River: An Infrastructure for Context Dependent, Reactive Communication Primitives
Applications and services in ubiquitous computing systems often interact in a context-dependent, reactive manner. How information flows, and what services communicate when, is det...
Jong Hee Kang, Matthai Philipose, Gaetano Borriell...