1837 search results - page 32 / 368 » Abstraction and the C Machine Model |
JLP
2002
13 years 8 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
13 years 8 months ago
2008
Abstract--In this paper, we propose a novel large margin classifier, called the maxi
MODELS
2009
Springer
14 years 3 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...
NADA
1998
Springer
14 years 27 days 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
14 years 2 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...