1536 search results - page 195 / 308 » The Underlying Logic of Hoare Logic |
177
click to vote
ICECCS
2005
IEEE
16 years 6 hour ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
136
click to vote
VTS
2005
IEEE
15 years 12 months ago
2005
IEEE
A new method for test resource partitioning is introduced which keeps the design-for-test logic independent of the test set and moves the test pattern dependent information to an ...
177
click to vote
TLDI
2005
ACM
15 years 12 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
179
click to vote
CSCLP
2005
Springer
15 years 12 months ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
167
click to vote
DALT
2005
Springer
15 years 12 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...