3515 search results - page 448 / 703 » On the semantics of Strategy Logic |
197
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
174
click to vote
VTS
1996
IEEE
15 years 11 months ago
1996
IEEE
Designing a testable circuit is often a two step process. First, the circuit is designed to conform to the functional specifications. Then, the testability aspects are added. By t...
225
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...
322
click to vote
AUSAI
2006
Springer
15 years 11 months ago
2006
Springer
This paper introduces Fuzzy Neural Network controller to increase the ability of a mobile robot in reacting to the dynamic environments. States of robot and environment, for exampl...
210
Voted
FSKD
2006
Springer
15 years 11 months ago
2006
Springer
This paper argues about the deployment positions of Network-based Intrusion Detection System and suggests the "Distributed Network Security Sensors" distributed among the...