2920 search results - page 437 / 584 » Finite information logic |
139
click to vote
VTS
2005
IEEE
16 years 3 days ago
2005
IEEE
A new method for test resource partitioning is introduced which keeps the design-for-test logic independent of the test set and moves the test pattern dependent information to an ...
160
click to vote
KCAP
2005
ACM
16 years 3 days ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
161
click to vote
SOFTVIS
2005
ACM
16 years 3 days ago
2005
ACM
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
204
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
143
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...