2145 search results - page 311 / 429 » Lax Logical Relations |
HICSS
2002
IEEE
14 years 28 days ago
2002
IEEE
A core prescription from the knowledge management movement is that the successful management of organizational knowledge will prevent firms from “reinventing the wheel.” Infor...
ICLP
2001
Springer
14 years 12 days ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
MFCS
2001
Springer
14 years 12 days ago
2001
Springer
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...
FM
1999
Springer
14 years 7 days ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
VLSID
1999
IEEE
14 years 7 days ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...