2409 search results - page 45 / 482 » Logical systems for structured specifications |
99
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
125
click to vote
EDOC
2004
IEEE
15 years 4 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
113
click to vote
CP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We study the lattice structure of sets (monoids) of surjective hyper-operations on an n-element domain. Through a Galois connection, these monoids form the algebraic coun...
125
Voted
FORTE
2009
14 years 10 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
92
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
Addressed in this paper is the issue of semantic relationship extraction from semi-structured documents. Many research efforts have been made so far on the semantic information ex...