10159 search results - page 1837 / 2032 » System Design Validation Using Formal Models |
198
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
164
click to vote
ICDCS
2005
IEEE
16 years 4 days ago
2005
IEEE
— One of the most notable challenges threatening the successful deployment of sensor systems is privacy. Although many privacy-related issues can be addressed by security mechani...
177
click to vote
RAID
2004
Springer
15 years 12 months ago
2004
Springer
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...
195
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
In a traditional signature scheme, a signature on a message m is issued under a public key PK, and can be interpreted as follows: "The owner of the public key PK and its corr...
193
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...