4814 search results - page 398 / 963 » Combining abstract interpreters |
192
click to vote
INTERACT
2003
15 years 8 months ago
2003
Abstract: Watching sports is a favorite pastime of many consumers. A more nomadic life style makes the traditional spectating venues unavailable. Designing a sports spectator exper...
195
click to vote
MASCOTS
2003
15 years 8 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
210
click to vote
WM
2003
15 years 8 months ago
2003
: We present an approach to using ontologies as interlingua in cross-language information retrieval in the medical domain. Our approach is based on using the Unified Medical Langu...
183
click to vote
FORTE
1996
15 years 8 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
152
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...