1837 search results - page 154 / 368 » Abstraction and the C Machine Model |
160
click to vote
NC
2006
15 years 6 months ago
2006
Biochemical reactions taking place in living systems that map different inputs to specific outputs are intuitively recognized as performing information processing. Conventional wis...
184
click to vote
TASE
2007
IEEE
16 years 24 days ago
2007
IEEE
Software has been under scrutiny by the veriļ¬cation community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
195
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
168
click to vote
TOIT
2008
15 years 6 months ago
2008
s exhibits diversity in the real world, mental abstraction world, document world, and machine world. Studying mappings between different forms of semantics helps unveil the uniform...
168
click to vote
ECML
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper studies the properties and performance of models for estimating local probability distributions which are used as components of larger probabilistic systems ā...