3239 search results - page 623 / 648 » A Logical Process Calculus |
116
click to vote
SIPS
2006
IEEE
15 years 6 months ago
2006
IEEE
: Molecular electronics is commonly conceived as reproducing diode or transistor action at the molecular level. The quantum-dot cellular automata (QCA) approach offers an attractiv...
130
Voted
ACMICEC
2006
ACM
15 years 6 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...
103
Voted
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
113
Voted
IWCMC
2006
ACM
15 years 6 months ago
2006
ACM
Securing multicast communications in ad hoc networks has become one of the most challenging research directions in the areas of wireless networking and security. This is especiall...
125
Voted
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...