2243 search results - page 375 / 449 » Contracts for Mobile Processes |
159
click to vote
VLDB
2007
ACM
15 years 11 months ago
2007
ACM
Virtual reality techniques particularly in the field of CFD (computational fluid dynamics) are of growing importance due to their ability to offer comfortable means to interact...
191
click to vote
MOBIDE
2006
ACM
15 years 11 months ago
2006
ACM
Mobile and pervasive applications frequently rely on devices such as RFID antennas or sensors (light, temperature, motion) to provide them information about the physical world. Th...
179
Voted
ICPP
2005
IEEE
15 years 11 months ago
2005
IEEE
Computational grids can integrate geographically distributed resources into a seamless environment. To facilitate managing these heterogenous resources, the virtual machine gy pro...
145
click to vote
MM
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we present Chameleon—an application-level power management approach for reducing energy consumption in mobile processors. Our approach exports the entire responsi...
156
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...