8555 search results - page 356 / 1711 » Property Based Coordination |
179
click to vote
ICAC
2005
IEEE
16 years 1 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
203
click to vote
CSL
2004
Springer
16 years 29 days ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
212
click to vote
EUROCRYPT
2010
Springer
16 years 11 days ago
2010
Springer
We develop an abstract framework that encompasses the key properties of bilinear groups of composite order that are required to construct secure pairing-based cryptosystems, and we...
209
click to vote
RT
2001
Springer
16 years 8 hour ago
2001
Springer
The measurement of accurate material properties is an important step towards photorealistic rendering. Many real-world objects are composed of a number of materials that often show...
204
click to vote
SSDBM
2000
IEEE
15 years 12 months ago
2000
IEEE
Benchmarking spatiotemporal database systems requires the definition of suitable datasets simulating the typical behavior of moving objects. Previous approaches for generating spa...