2776 search results - page 58 / 556 » System-Level Abstraction Semantics |
104
click to vote
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
141
click to vote
DLOG
2008
15 years 4 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
135
Voted
DLOG
1997
15 years 3 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
107
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
84
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
perception of domain concepts. We have run this experiment on the 367 645 English abstracts of PASCAL 2005-2006 bibliographic database (http://www.inist.fr) and compared the struct...