6317 search results - page 892 / 1264 » System Support for Pervasive Applications |
128
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
188
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
170
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
“Radio Frequency Identification” (RFID) and the related EPC standards promise to enable an automatic collection of supply chain data for optimization purposes. While extensive...
157
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
One of the important aspects in digital video applications is spatial and temporal characteristic. A very little progress has been achieved on spatiotemporal modeling of video dat...
189
click to vote
HOTI
2008
IEEE
16 years 1 months ago
2008
IEEE
The high performance switch plays a critical role in the high performance computer (HPC) system. The applications of HPC not only demand on the low latency and high bandwidth of t...