2153 search results - page 405 / 431 » From Requirements Models to Formal Specifications in B |
BMCBI
2006
13 years 7 months ago
2006
Background: Proteins control and mediate many biological activities of cells by interacting with other protein partners. This work presents a statistical model to predict protein ...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
—Online spectrum auctions offer ample flexibility for bidders to request and obtain spectrum on-the-fly. Such flexibility, however, opens up new vulnerabilities to bidder mani...
BMCBI
2005
13 years 7 months ago
2005
Background: Expressed Sequence Tags (ESTs) are short and error-prone DNA sequences generated from the 5' and 3' ends of randomly selected cDNA clones. They provide an im...
CAS
2004
13 years 7 months ago
2004
Accounting for human activity through physics does not require anything more than a switch of mind. Objectivity needs first to be recognized as an epistemological principle that s...
ASIACRYPT
2007
Springer
14 years 2 months ago
2007
Springer
An extended abstract of this paper appears in Kaoru Kurosawa (Ed.): Advances in Cryptology ASIACRYPT 2007, volume 4833 of Lecture Notes in Computer Science, pages 265–282, Spring...