Sciweavers

1360 search results - page 150 / 272
» Reasoning on Workflow Executions
Sort
View
OSDI
2002
ACM
14 years 10 months ago
ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay
Current system loggers have two problems: they depend on the integrity of the operating system being logged, and they do not save sufficient information to replay and analyze atta...
George W. Dunlap, Samuel T. King, Sukru Cinar, Mur...
ADBIS
2009
Springer
143views Database» more  ADBIS 2009»
14 years 4 months ago
Cost-Based Vectorization of Instance-Based Integration Processes
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
Matthias Böhm, Dirk Habich, Steffen Preissler...
IVA
2009
Springer
14 years 4 months ago
A Study into Preferred Explanations of Virtual Agent Behavior
Virtual training systems provide an effective means to train people for complex, dynamic tasks such as crisis management or firefighting. Intelligent agents are often used to pl...
Maaike Harbers, Karel van den Bosch, John-Jules Ch...
VLDB
2004
ACM
127views Database» more  VLDB 2004»
14 years 3 months ago
Computing Frequent Itemsets Inside Oracle 10G
1 Frequent itemset counting is the first step for most association rule algorithms and some classification algorithms. It is the process of counting the number of occurrences of ...
Wei Li, Ari Mozes
WORDS
2002
IEEE
14 years 3 months ago
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings