4890 search results - page 937 / 978 » From system specifications to component behavioral models |
SACMAT
2006
ACM
14 years 2 months ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— Current computing systems depend on adaptation mechanisms to ensure that they remain in quiescent operating regions. These regions are often defined using efficiency, fairnes...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract: Existing multicore systems already provide deep levels of thread parallelism. Hybrid programming models and composability of parallel libraries are very active areas of r...
SIGCOMM
2003
ACM
14 years 2 months ago
2003
ACM
One of the key infrastructure components in all telecommunication networks, ranging from the telephone network, to VC-oriented data networks, to the Internet, is its signaling sys...
ICDE
2012
IEEE
11 years 11 months ago
2012
IEEE
— A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system tha...