5451 search results - page 155 / 1091 » Typed Operational Semantics |
114
Voted
TYPES
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
134
Voted
LPKR
1997
Springer
15 years 7 months ago
1997
Springer
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default negation. We have observed that two different typ...
128
Voted
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
Traditional databases have focused on the issue of reducing I/O cost as it is the bottleneck in many operations. As databases become increasingly accepted in areas such as Geograp...
132
Voted
RAID
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
161
Voted
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...