Sciweavers

11066 search results - page 456 / 2214
» Linearity in Process Languages
Sort
View
LOGCOM
2007
91views more  LOGCOM 2007»
15 years 6 months ago
A New Modal Approach to the Logic of Intervals
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
Altaf Hussain
CORR
2000
Springer
104views Education» more  CORR 2000»
15 years 6 months ago
ATLAS: A flexible and extensible architecture for linguistic annotation
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
Steven Bird, David Day, John S. Garofolo, John Hen...
GLOBECOM
2010
IEEE
15 years 4 months ago
Cache-Based Scalable Deep Packet Inspection with Predictive Automaton
Abstract--Regular expression (Regex) becomes the standard signature language for security and application detection. Deterministic finite automata (DFAs) are widely used to perform...
Yi Tang, Junchen Jiang, Xiaofei Wang, Yi Wang, Bin...
FM
2009
Springer
94views Formal Methods» more  FM 2009»
16 years 1 months ago
Formal Methods for Privacy
Michael Carl Tschantz, Jeannette M. Wing
FM
2009
Springer
105views Formal Methods» more  FM 2009»
16 years 1 months ago
Three-Valued Spotlight Abstractions
Jonas Schrieb, Heike Wehrheim, Daniel Wonisch