2560 search results - page 109 / 512 » Types for Dynamic Reconfiguration |
TACS
2001
Springer
14 years 1 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
ECOOP
2000
Springer
14 years 1 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
DASFAA
2010
IEEE
14 years 1 months ago
2010
IEEE
xml keyword search provides a simple and user-friendly way of retrieving data from xml databases, but the ambiguities of keywords make it difficult to effectively answer keyword qu...
KBS
2006
13 years 8 months ago
2006
Metaphor and analogy are perhaps the most challenging aspects of linguistic creativity for a conceptual representation to facilitate, since by their very nature they seek to stret...
CCS
2007
ACM
14 years 27 days ago
2007
ACM
Trusted Computing (TC) is an emerging technology towards building trustworthy computing platforms. The Trusted Computing Group (TCG) has proposed several specifications to impleme...