1061 search results - page 104 / 213 » Dependently Sorted Logic |
121
click to vote
BIRTHDAY
1991
Springer
15 years 8 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
150
click to vote
TCAD
2008
15 years 4 months ago
2008
Abstract--Designers and high-level synthesis tools can introduce unwanted cycles in digital circuits, and for certain combinational functions, cyclic circuits that are stable and d...
159
click to vote
JOLLI
2010
15 years 2 months ago
2010
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
167
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
119
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper investigates the path protection problem in mesh networks under multiple generic risks. Disjoint logical links may fail simultaneously if they share the same compone...