5863 search results - page 316 / 1173 » On Model-Checking of P Systems |
262
click to vote
DLT
2009
15 years 5 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
202
click to vote
TPDS
2010
15 years 5 months ago
2010
—Utilizing the skewed popularity distribution in P2P systems, common in Gnutella and KazaA like P2P applications, we propose an optimal resource (replica or link) placement strat...
185
click to vote
KI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We propose a new EEG-based wireless brain computer interface (BCI) with which subjects can “mind-type” text on a computer screen. The application is based on detectin...
177
click to vote
JCT
2010
15 years 5 months ago
2010
We consider extensions and restrictions of Wythoff’s game having exactly the same set of P positions as the original game. No strict subset of rules give the same set of P posit...
209
click to vote
PRESENCE
2010
15 years 5 months ago
2010
Brain-computer interfaces (BCIs) provide a novel form of human-computer interaction. The purpose of these systems is to aid disabled people by aording them the possibility of com...