4401 search results - page 428 / 881 » Computing with Default Logic |
154
Voted
GI
2005
Springer
16 years 10 days ago
2005
Springer
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...
194
click to vote
BIRTHDAY
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
165
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
172
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Burch and Dill [3] described an automatic method for verifying a pipelined processor against its instruction setarchitecture(ISA). We describethree techniquesfor improving this me...
160
click to vote
MFCS
1993
Springer
15 years 11 months ago
1993
Springer
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...