421 search results - page 20 / 85 » Abstract Interpretation of PEPA Models |
ECAL
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...
84
Voted
SIGSOFT
2004
ACM
15 years 4 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
151
Voted
DAC
2003
ACM
15 years 4 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
94
Voted
FOSSACS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
85
Voted
ECAI
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...