964 search results - page 132 / 193 » On Securely Scheduling a Meeting |
178
click to vote
ISPASS
2005
IEEE
15 years 12 months ago
2005
IEEE
A wide spectrum of e-commerce (B2B/B2C), banking, financial trading and other business applications require the exchange of data to be highly secure. The Secure Sockets Layer (SSL...
180
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
173
click to vote
CODES
2009
IEEE
16 years 1 months ago
2009
IEEE
Kahn Process Networks is an appealing model of computation for programming and mapping applications onto multi-processor platforms. Autonomous processes communicate through unboun...
168
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
— The worst-case delay/power of function units has been used in traditional high level synthesis to facilitate design space exploration. As technology scales to nanometer regime,...
175
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...