130 search results - page 25 / 26 » IRIS: A Semi-Formal Approach for Detecting Requirements Inte... |
BMCBI
2010
13 years 6 months ago
2010
Background: It is well known that most of the binding free energy of protein interaction is contributed by a few key hot spot residues. These residues are crucial for understandin...
RTSS
2005
IEEE
14 years 11 hour ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
DCOSS
2006
Springer
13 years 10 months ago
2006
Springer
In a sensor network information from multiple nodes must usually be aggregated in order to accomplish a certain task. A natural way to view this information gathering is in terms o...
EDBT
2000
ACM
13 years 10 months ago
2000
ACM
Database systems support recovery, providing high database availability. However, database applications may lose work because of a server failure. In particular, if a database serv...
MMSEC
2006
ACM
14 years 12 days ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...