10568 search results - page 442 / 2114 » Computer Intelligence and Formalization |
125
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
160
click to vote
AB
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
142
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
134
click to vote
ACSC
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents a formal notation for specifying requirements of embedded systems which exhibit continuous, real-time behaviour and move through various modes under digital co...
130
click to vote
BIRTHDAY
1999
Springer
15 years 9 months ago
1999
Springer
This review paper will report on some recent discoveries in the area of Formal Languages, chie y by F. Otto, G. Buntrock and G. Niemann. These discoveries have pointed out certain ...