5851 search results - page 909 / 1171 » Coordination as a Direct Process |
187
click to vote
HIPEAC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...
160
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This article presents special quadrilateral quadratic refinement elements, which provide geometry and field continuity across Tjunctions where two elements are connecte...
164
click to vote
ICDCIT
2005
Springer
16 years 7 days ago
2005
Springer
— Micro-payment systems have the potential to provide non-intrusive, high-volume and low-cost pay-asyou-use services for a wide variety of web-based applications. We proposed a n...
183
click to vote
ICLP
2005
Springer
16 years 7 days ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
178
click to vote
IFIP
2005
Springer
16 years 6 days ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...