2661 search results - page 40 / 533 » A Semantics for Abstraction |
168
click to vote
ICDE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- Classification hierarchies are trees where links codify the fact that a node lower in the hierarchy contains documents whose contents are more specific than those one le...
166
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
169
click to vote
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
191
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...
255
click to vote
NADA
1998
Springer
15 years 10 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...