Sciweavers

15644 search results - page 342 / 3129
» Brittle System Analysis
Sort
View
172
Voted
DAS
2004
Springer
16 years 5 days ago
A Complete Approach to the Conversion of Typewritten Historical Documents for Digital Archives
This paper presents a complete system that historians/archivists can use to digitize whole collections of documents relating to personal information. The system integrates tools an...
Apostolos Antonacopoulos, Dimosthenis Karatzas
BPM
2000
Springer
133views Business» more  BPM 2000»
15 years 10 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst
SAS
2010
Springer
134views Formal Methods» more  SAS 2010»
15 years 5 months ago
Strictness Meets Data Flow
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
Tom Schrijvers, Alan Mycroft
CCS
2008
ACM
15 years 8 months ago
Dependent link padding algorithms for low latency anonymity systems
Low latency anonymity systems are susceptive to traffic analysis attacks. In this paper, we propose a dependent link padding scheme to protect anonymity systems from traffic analy...
Wei Wang 0002, Mehul Motani, Vikram Srinivasan
DCOSS
2008
Springer
15 years 8 months ago
FIT: A Flexible, LIght-Weight, and Real-Time Scheduling System for Wireless Sensor Platforms
Abstract. We propose FIT, a flexible, light-weight and real-time scheduling system for wireless sensor platforms. There are three salient features of FIT. First, its two-tier hiera...
Wei Dong, Chun Chen, Xue Liu, Kougen Zheng, Rui Ch...