10568 search results - page 638 / 2114 » Computer Intelligence and Formalization |
192
click to vote
TYPES
2007
Springer
16 years 1 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
170
click to vote
ENC
2005
IEEE
16 years 22 days ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
192
click to vote
HASE
2005
IEEE
16 years 22 days ago
2005
IEEE
We propose an approach to analyse the safety of avionic systems that takes into account the impact of computation and communication resource sharing. The approach is made of three...
171
click to vote
ICCS
2005
Springer
16 years 19 days ago
2005
Springer
CD++ is an implementation of the Cell-DEVS formalism, which has been used to simulate various complex systems. In this study, we constructed a Cell-DEVS to simulate the dynamics of...
209
Voted
ICCS
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...