5863 search results - page 753 / 1173 » On Model-Checking of P Systems |
179
click to vote
IDEAS
2006
IEEE
16 years 27 days ago
2006
IEEE
Tracking and tracing individual items is a new and emerging trend in many industries. Driven by maturing technologies such as Radio-Frequency Identification (RFID) and upcoming s...
165
click to vote
INFOCOM
2006
IEEE
16 years 27 days ago
2006
IEEE
— With the explosive growth of network techniques, in particular wireless communications, the traditional centralized, fixed networks can no longer satisfy the enormous demands ...
175
click to vote
IPPS
2006
IEEE
16 years 27 days ago
2006
IEEE
Communication latencies constitute a significant factor in the performance of parallel applications. With techniques such as wormhole routing, the variation in no-load latencies ...
200
click to vote
SCESM
2006
ACM
16 years 24 days ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
159
click to vote
CODES
2005
IEEE
16 years 14 days ago
2005
IEEE
Networks-on-Chip (NoCs) have been recently proposed as a promising solution to complex on-chip communication problems. The lack of an unified representation of applications and ar...