2225 search results - page 260 / 445 » Logical Structures in the Lexicon |
166
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
Hypermedia design methods have been proposed for the development of hypermedia and web applications. Nowadays, we face up to another challenge, the Semantic Web, in order to repre...
153
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
133
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents new circuit configurationsfor a more robust and efficient form of self-resettingCMOS (SRCMOS). Prior structures for SRCMOS have very high performance but are...
172
click to vote
ARITH
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents mathematical foundtions of the Overlap Resolution Number System (ORNS) which employs signed Continuous Valued Digits (CVD's). ORNS is a redundant Number S...
168
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...