1264 search results - page 97 / 253 » Designing Safe, Reliable Systems using Scade |
148
click to vote
SRDS
2008
IEEE
15 years 11 months ago
2008
IEEE
The efficiency of service discovery is critical in the development of fully decentralized middleware intended to manage large scale computational grids. This demand influenced t...
146
click to vote
IJAR
2007
15 years 4 months ago
2007
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
136
Voted
NGC
2000
Springer
15 years 8 months ago
2000
Springer
We examine the use of a hop-limit constraint with techniques to provide survivability for connection-oriented ATM group communications. A hop-limit constraint is an approach that ...
124
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper deals with pattern rejection strategies for self-paced Brain-Computer Interfaces (BCI). First, it introduces two pattern rejection strategies not used yet for self-pace...
149
click to vote
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...