5863 search results - page 981 / 1173 » On Model-Checking of P Systems |
182
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
— Imitation is a powerful mechanism for transferring knowledge from an instructor to a na¨ıve observer, one that is deeply contingent on a state of shared attention between the...
190
click to vote
LACL
2005
Springer
16 years 8 hour ago
2005
Springer
Locality Conditions (LCs) on (unbounded) dependencies have played a major role in the development of generative syntax ever since the seminal work by Ross [22]. Descriptively, they...
143
click to vote
WPES
2004
ACM
15 years 12 months ago
2004
ACM
A “blocker” tag is a form of privacy-enhancing radio-frequency identification (RFID) tag. It operates by interfering with the protocol in which a reader communicates individua...
151
click to vote
LCPC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes performance of OSCAR multigrain parallelizing compiler on various SMP servers, such as IBM pSeries 690, Sun Fire V880, Sun Ultra 80, NEC TX7/i6010 an...
199
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...