4075 search results - page 446 / 815 » Modeling Distributed Algorithm Using B |
171
click to vote
SRDS
1996
IEEE
15 years 11 months ago
1996
IEEE
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementationsof virtual synchrony usually require...
144
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper discusses VIEWS, a specification for building diagrams that describe the security features of systems. The authors' recent experience with providing security archi...
170
Voted
SIAMSC
2008
15 years 6 months ago
2008
We propose a new numerical scheme for linear transport equations. It is based on a decomposition of the distribution function into equilibrium and non-equilibrium parts. We also us...
201
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
Due to variations of lighting conditions, camera hardware settings, and the range of skin coloration among human beings, a pre-defined skin-color model cannot accurately capture t...
185
click to vote
MIR
2004
ACM
16 years 7 days ago
2004
ACM
In this paper, we propose an autonomous learning scheme to automatically build visual semantic concept models from the output data of Internet search engines without any manual la...