11063 search results - page 143 / 2213 » On the existence of universal models |
142
click to vote
VMCAI
2007
Springer
16 years 16 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
182
click to vote
IJSI
2008
15 years 6 months ago
2008
Abstract In a line of recent development, probabilistic constructions of universal, homogeneous objects have been provided in various categories of ordered structures, such as caus...
138
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
189
click to vote
CSEE
2006
Springer
15 years 10 months ago
2006
Springer
This paper shows how Theory-W and the WinWin requirements negotiation approach are used in software engineering education at several universities in the US, Europe, and Asia. We b...
161
click to vote
JCC
2007
15 years 6 months ago
2007
: A recent workshop titled ‘‘Quantitative Computational Biophysics’’ at Florida State University provided an overview of the state of the art in quantitative modeling of bi...