670 search results - page 76 / 134 » Modeling generalized implicatures using non-monotonic logics |
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
103
click to vote
TCC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
108
click to vote
WWW
2006
ACM
16 years 15 days ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
178
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper explores an inherent tension in modeling and querying uncertain data: simple, intuitive representations of uncertain data capture many application requirements, but the...
101
click to vote
DAC
2008
ACM
16 years 25 days ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...