1133 search results - page 21 / 227 » Local Logics for Traces |
155
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
124
click to vote
NDSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Most Windows users run all the time with Admin privileges. This significantly increases the vulnerability of Windows systems because the compromise of any user-level application ...
159
click to vote
SMI
2005
IEEE
2005
IEEE
A Tracing Algorithm for Constructing Medial Axis Transform of 3D Objects Bound by Free-Form Surfaces
15 years 10 months ago
This paper presents an algorithm for generating the Medial Axis Transform(MAT) of 3D objects with free-form boundaries. The algorithm proposed uses the exact representation of the...
152
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
155
Voted
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...