1221 search results - page 165 / 245 » On the Design of Robust Integrators for Fail-Bounded Control... |
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
CONEXT
2008
ACM
13 years 11 months ago
2008
ACM
The publish/subscribe communication paradigm is an appealing mechanism for efficient content retrieval due to the decoupling of data sources and consumers. However, the location d...
BMCBI
2006
13 years 9 months ago
2006
Background: Gene regulation and metabolic reactions are two primary activities of life. Although many works have been dedicated to study each system, the coupling between them is ...
ETRA
2006
ACM
14 years 3 months ago
2006
ACM
Eye tracking has long held the promise of being a useful methodology for human computer interaction. However, a number of barriers have stood in the way of the integration of eye ...