1941 search results - page 131 / 389 » Reasoning about Computations Using Two-Levels of Logic |
256
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
111
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes two research projects that develop new low-cost techniques for testing devices with multiple high-speed (2 to 5 Gbps) signals. Each project uses commercially ...
112
click to vote
DEXA
2000
Springer
15 years 7 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
123
Voted
TIME
1994
IEEE
15 years 7 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...