1830 search results - page 278 / 366 » Centering in Dynamic Semantics |
ENTCS
2008
14 years 11 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
SAC
2008
ACM
14 years 10 months ago
2008
ACM
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
IANDC
2010
14 years 10 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
SIGMETRICS
2010
ACM
14 years 9 months ago
2010
ACM
Dynamic voltage and frequency scaling (DVFS) is a wellknown technique for gaining energy savings on desktop and laptop computers. However, its use in server settings requires care...
FMCO
2009
Springer
14 years 9 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...