3844 search results - page 408 / 769 » Modular interpreted systems |
164
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
138
click to vote
DEXAW
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper discusses the evaluation of a visual information seeking system for the Web called INSYDER. The aim of INSYDER is to find business information on the Web. The evaluatio...
149
click to vote
ASM
2000
ASM
15 years 10 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
154
click to vote
BMCV
2000
Springer
15 years 10 months ago
2000
Springer
Recent psychological and neurological evidence suggests that biological object recognition is a process of matching sensed images to stored iconic memories. This paper presents a p...
139
click to vote
IH
1998
Springer
15 years 10 months ago
1998
Springer
An information-theoretic model for steganography with passive adversaries is proposed. The adversary's task of distinguishing between an innocent cover message C and a modi e...