Sciweavers

498 search results - page 57 / 100
» From Language to Time: A Temporal Expression Anchorer
Sort
View
CCS
2011
ACM
13 years 11 months ago
Policy auditing over incomplete logs: theory, implementation and applications
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
Deepak Garg, Limin Jia, Anupam Datta
ICMCS
1999
IEEE
131views Multimedia» more  ICMCS 1999»
15 years 4 months ago
Integrating Web Resources and Lexicons into a Natural Language Query System
The START system responds to natural language queries with answers in text, pictures, and other media. START's sentence-level natural language parsing relies on a number of m...
Boris Katz, Deniz Yuret, Jimmy J. Lin, Sue Felshin...
CSREAESA
2008
15 years 1 months ago
Achieving Industrial Strength Timing Predictions of Embedded System Behavior
This paper discusses why the extensive scientific results on predicting embedded systems temporal behavior never, or very seldom, reaches the industrial community. We also point ou...
Mikael Nolin, Jukka Mäki-Turja, Kaj Hänn...
AMAST
2008
Springer
15 years 1 months ago
Simulation Using Orchestration
d Abstract) David Kitchin, Evan Powell, and Jayadev Misra The University of Texas at Austin The real world is inherently concurrent and temporal. For simulating physical phenomena ...
David Kitchin, Evan Powell, Jayadev Misra
TIME
2005
IEEE
15 years 5 months ago
LOLA: Runtime Monitoring of Synchronous Systems
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
Ben D'Angelo, Sriram Sankaranarayanan, Césa...