7557 search results - page 1287 / 1512 » Modeling Timed Concurrent Systems |
283
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Effective resource management of virtualized environments is a challenging task. State-of-the-art management systems either rely on analytical models or evaluate resource allocati...
234
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
202
click to vote
ICCD
2005
IEEE
16 years 24 days ago
2005
IEEE
Nanoelectronic devices are expected to have extremely high and variable fault rates; thus future processor architectures based on these unreliable devices need to be built with fa...
193
click to vote
CTRSA
2003
Springer
16 years 13 days ago
2003
Springer
Exposure of secret keys seems to be inevitable, and may in practice represent the most likely point of failure in a cryptographic system. Recently, the notion of intrusion-resilien...
215
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
In a database system, disclosure of confidential private data may occur if users can put together the answers of past queries. Traditional access control mechanisms cannot guard a...