5255 search results - page 796 / 1051 » Formal Methods for Privacy |
168
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
In the beginning of nineties, Hava Siegelmann proposed a new computational model, the Artificial Recurrent Neural Network (ARNN), and proved that it could perform hypercomputation....
165
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
148
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
One of the hard problems in maintaining real-time systems requirements is to keep track of the impact of resource usage on the applications. Often times, it is not sufficient to ...
191
click to vote
WETICE
2000
IEEE
15 years 11 months ago
2000
IEEE
A better understanding of how groupware systems have been evaluated in the past can help to frame the discussion of what methods and techniques should be considered for future eva...
153
click to vote
APLAS
2000
ACM
15 years 11 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...