1536 search results - page 22 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ARCS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...
UML
2001
Springer
13 years 12 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
JUCS
2006
13 years 7 months ago
2006
: Characterising liveness using a structure based approach is a key issue in theory of Petri nets. In this paper, we introduce a structure causality relation from which a topologic...
ER
2007
Springer
14 years 1 months ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...
UM
2001
Springer
13 years 12 months ago
2001
Springer
This paper describes an integrated approach for interpreting a user’s responses and generating replies in the framework of a WWW-based Bayesian argumentation system. Our system c...