1356 search results - page 67 / 272 » A variable-free dynamic semantics |
WWW
2007
ACM
15 years 10 months ago
2007
ACM
With the growing use of dynamic web content generated from relational databases, traditional caching solutions for throughput and latency improvements are ineffective. We describe...
DSN
2007
IEEE
15 years 4 months ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
ICADL
2010
Springer
15 years 2 months ago
2010
Springer
This paper describes ongoing work within the Aus-e-Lit project at the University of Queensland to provide collaborative annotation tools for Australian Literary Scholars. It descri...