5451 search results - page 532 / 1091 » Typed Operational Semantics |
206
Voted
ICDE
2005
IEEE
16 years 14 days ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...
179
Voted
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Bugs in kernel extensions remain one of the main causes of poor operating system reliability despite proposed techniques that isolate extensions in separate protection domains to ...
190
Voted
VLDB
2004
ACM
16 years 6 days ago
2004
ACM
This presentation will discuss several database technology challenges that are faced when building a data warehouse. It will touch on the challenges posed by high capacity drives ...
203
Voted
QEST
2006
IEEE
16 years 26 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
172
click to vote
FMCO
2005
Springer
16 years 12 days ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...