1458 search results - page 199 / 292 » Extended Term Rewriting Systems |
120
Voted
SIGCOMM
2010
ACM
15 years 1 months ago
2010
ACM
Building distributed applications for data centers is hard. CamCube explores whether replacing the traditional switchbased network with a directly connected topology makes it easi...
111
click to vote
SIGMOD
2010
ACM
14 years 10 months ago
2010
ACM
Given the continuous growth of databases and the abundance of diverse files in modern IT environments, there is a pressing need to integrate keyword search on heterogeneous inform...
134
Voted
HICSS
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
137
Voted
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Minimizing energy consumption is an important issue in the design of real-time embedded systems. As many embedded systems are powered by rechargeable batteries, the goal is to ext...
ENTCS
1998
15 years 15 days ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...