106 search results - page 12 / 22 » Specification of Logic Programming Languages from Reusable S... |
105
click to vote
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
103
click to vote
DEBS
2010
ACM
15 years 2 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...
99
Voted
ASWC
2006
Springer
15 years 3 months ago
2006
Springer
The Web Ontology Language (OWL), which is a Description Logic based ontology language, is widely used to represent formal definitions of vocabularies for domain knowledge, especial...
199
click to vote
POPL
2007
ACM
15 years 12 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
95
Voted
BIS
2007
15 years 1 months ago
2007
The recent evolution of the Web, now designated by the term Web 2.0, has seen the appearance of a huge number of resources created and annotated by users. However the annotations ...