2153 search results - page 430 / 431 » From Requirements Models to Formal Specifications in B |
BMCBI
2007
13 years 4 months ago
2007
Background: Efforts to predict functional sites from globular proteins is increasingly common; however, the most successful of these methods generally require structural insight. ...
IT
2008
13 years 4 months ago
2008
provides a powerful abstraction basically allowing to perceiving all compute resources as entities that can be dynamically discovered and composed. These entities are called servic...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We consider a Gaussian two-hop network where the source and the destination can communicate only via a relay node who is both an eavesdropper and a Byzantine adversary. Both the s...
IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--In this work, we study the problem of routing packets between undifferentiated sources and sinks in a network modeled by a multigraph. We consider a distributed and local...
ICCV
2005
IEEE
14 years 6 months ago
2005
IEEE
In most cases when information is to be extracted from an image, there are priors available on the state of the world and therefore on the detailed measurements which will be obta...