510 search results - page 10 / 102 » An Algebraic Framework for Urgency |
116
click to vote
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
123
click to vote
ICALP
2001
Springer
15 years 6 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
102
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
With the rise of XML as a standard for representing business data, XML data warehouses appear as suitable solutions for Web-based decision-support applications. In this context, i...
205
click to vote
ENTCS
2006
15 years 2 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
110
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...