10048 search results - page 263 / 2010 » The Structure and Performance of Interpreters |
154
click to vote
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
The use of patterns in e-learning is being recently proposed with different purposes and scopes. This paper provides a unifying view of several representative proposals in order t...
168
click to vote
ATVA
2005
Springer
16 years 25 days ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
234
click to vote
DIAGRAMS
2004
Springer
16 years 21 days ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
198
click to vote
ECBS
2003
IEEE
16 years 18 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
223
click to vote
COOPIS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...