Sciweavers

2226 search results - page 301 / 446
» Pdk: The System and Its Language
Sort
View
CCS
2005
ACM
16 years 5 days ago
Control-flow integrity
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
Martín Abadi, Mihai Budiu, Úlfar Erl...
PPSWR
2005
Springer
16 years 3 days ago
Computational Treatment of Temporal Notions: The CTTN-System
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
Hans Jürgen Ohlbach
SIGIR
2003
ACM
15 years 12 months ago
Combining document representations for known-item search
This paper investigates the pre-conditions for successful combination of document representations formed from structural markup for the task of known-item search. As this task is ...
Paul Ogilvie, James P. Callan
CICLING
2003
Springer
15 years 12 months ago
From Czech Morphology through Partial Parsing to Disambiguation
This paper deals with a complex system of processing raw Czech texts. Several modules were implemented which perform different levels of processing. These modules can easily be in...
Eva Mráková, Radek Sedlácek
ICICS
2001
Springer
15 years 11 months ago
Enforcing Obligation with Security Monitors
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
Carlos Ribeiro, Andre Zuquete, Paulo Ferreira