2920 search results - page 437 / 584 » Finite information logic |
148
Voted
VTS
2005
IEEE
16 years 18 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 ...
169
click to vote
KCAP
2005
ACM
16 years 18 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 ...
177
Voted
SOFTVIS
2005
ACM
16 years 18 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 ...
218
Voted
CCS
2005
ACM
16 years 17 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...
155
Voted
CCS
2005
ACM
16 years 17 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...