5863 search results - page 981 / 1173 » On Model-Checking of P Systems |
209
click to vote
ICRA
2005
IEEE
16 years 21 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...
209
click to vote
LACL
2005
Springer
16 years 18 days 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...
156
click to vote
WPES
2004
ACM
16 years 16 days 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...
165
click to vote
LCPC
2004
Springer
16 years 14 days 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...
229
Voted
ISORC
2002
IEEE
16 years 22 hour 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,...