627 search results - page 50 / 126 » Branched Polyhedral Systems |
EUC
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
FAST
2009
13 years 6 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
ICASSP
2011
IEEE
13 years 12 days ago
2011
IEEE
The channel of radio frequency identi cation (RFID) can be modeled as a cascaded channel consisting of a forward link and a backscatter link. The correlation between the forward a...
RR
2007
Springer
14 years 2 months ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
No two flight missions are alike, hence, development and on-orbit software costs are high. Software portability and adaptability across hardware platforms and operating systems ha...