3047 search results - page 480 / 610 » On the Meaning of Logical Completeness |
208
Voted
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
165
Voted
PPOPP
2006
ACM
16 years 1 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
201
Voted
ISQED
2005
IEEE
16 years 19 days ago
2005
IEEE
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
195
Voted
KBSE
2005
IEEE
16 years 19 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
177
Voted
SAC
2005
ACM
16 years 18 days ago
2005
ACM
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague ...