274 search results - page 17 / 55 » Variants of the Event Calculus |
FCT
2007
Springer
14 years 2 months ago
2007
Springer
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a method for static performance analysis of SoC architectures. The method is based on a network calculus theory known as LR servers. This network calculus is e...
CONCUR
2001
Springer
14 years 1 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Ariola and Felleisen's call-by-need -calculus replaces a variable occurrence with its value at the last possible moment. To support this gradual notion of substituti...