2236 search results - page 363 / 448 » Language Independence and Language Tolerance in Logic Progra... |
152
click to vote
CCS
2005
ACM
15 years 9 months 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...
127
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
118
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
140
click to vote
CDES
2008
15 years 5 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
132
click to vote
VDB
1998
15 years 5 months ago
1998
Any graphical user interface (GUI) requires large amounts of complex metadata for the layout of windows and menus, their style and behavior, their bindings, etc. Designing, debugg...