3457 search results - page 270 / 692 » A Symbol Is Not a Symbol |
174
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
144
click to vote
ICLP
1994
Springer
15 years 10 months ago
1994
Springer
Using a glass-box theory of finite domain constraints, FD, we show how the entailment of user-defined constraints can be expressed by antimonotone FD constraints. We also provide a...
132
click to vote
AICCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper the Karnaugh and Quine-McCluskey methods are used for symbolic classification problem, and then these methods are compared with other famous available methods. Becau...
147
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
160
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...