4767 search results - page 642 / 954 » Structures for Abstract Rewriting |
196
click to vote
ICEIS
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
182
click to vote
ISCAS
2005
IEEE
16 years 9 days ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
194
click to vote
SAC
2004
ACM
16 years 4 days ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
181
click to vote
SAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
162
Voted
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...