1837 search results - page 32 / 368 » Abstraction and the C Machine Model |
JLP
2002
14 years 11 months ago
2002
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
TNN
2008
14 years 11 months ago
2008
Abstract--In this paper, we propose a novel large margin classifier, called the maxi
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
164
click to vote
NADA
1998
Springer
15 years 4 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...