880 search results - page 175 / 176 » Model checking erlang programs: the functional approach |
ICS
2010
Tsinghua U.
14 years 3 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
ANSS
2007
IEEE
13 years 12 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...
EUROPAR
2004
Springer
13 years 11 months ago
2004
Springer
The BlueGene/L supercomputer will consist of 65,536 dual-processor compute nodes interconnected by two high-speed networks: a three-dimensional torus network and a tree topology ne...
ICALP
2004
Springer
13 years 11 months ago
2004
Springer
We define a natural notion of efficiency for approximate nearest-neighbor (ANN) search in general n-point metric spaces, namely the existence of a randomized algorithm which answ...
BIRTHDAY
2003
Springer
13 years 11 months ago
2003
Springer
The pagination problem of complex documents is in placing text and floating objects on pages in such a way that each object appears close to, but not before, its text reference. ...