880 search results - page 146 / 176 » Model checking erlang programs: the functional approach |
128
Voted
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
As new attacks against Windows-based machines emerge almost on a daily basis, there is an increasing need to “lock down” individual users’ desktop machines in corporate comp...
140
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
149
Voted
TCC
2009
Springer
16 years 4 months ago
2009
Springer
The first and still most popular solution for secure two-party computation relies on Yao's garbled circuits. Unfortunately, Yao's construction provide security only again...
169
Voted
TES
2001
Springer
15 years 8 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
137
Voted
CSIE
2009
IEEE
15 years 10 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...