1633 search results - page 327 / 327 » On the Verification of Temporal Properties |
WISEC
2010
ACM
13 years 10 months ago
2010
ACM
Key management in wireless sensor networks does not only face typical, but also several new challenges. The scale, resource limitations, and new threats such as node capture and c...
JUCS
2010
13 years 1 days ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
BMCBI
2011
12 years 9 months ago
2011
Background: Current approaches for identifying transcriptional regulatory elements are mainly via the combination of two properties, the evolutionary conservation and the overrepr...