6308 search results - page 1037 / 1262 » Modeling Urgency in Timed Systems |
207
click to vote
EMSOFT
2007
Springer
16 years 23 days 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...
174
click to vote
CTRSA
2003
Springer
15 years 12 months 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...
193
click to vote
EDBT
2009
ACM
15 years 10 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...
142
click to vote
ALGORITHMICA
2010
15 years 6 months ago
2010
We consider a data-structural problem motivated by version control of a hierarchical directory structure in a system like Subversion. The model is that directories and files can b...
185
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: A central goal of molecular biology is to understand the regulatory mechanisms of gene transcription and protein synthesis. Because of their solid basis in statistics,...