913 search results - page 61 / 183 » Full Abstraction for Linda |
IWANN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we analyse a serial (ripple carry) and a parallel (Kogge-Stone) adder when operating in subthreshold at 100nm and 70nm. These are targeted for ultra low pow...
PPSWR
2005
Springer
14 years 2 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
SEMWEB
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...
SPW
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Many users routinely log in to their system with system administrator privileges. This is especially true of home users. The advantage of this setup is that these users c...
UML
2005
Springer
14 years 2 months ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...