959 search results - page 33 / 192 » Transfers between Logics and their Applications |
TARK
2005
Springer
15 years 7 months ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
122
click to vote
POLICY
2007
Springer
15 years 8 months ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
121
click to vote
CLUSTER
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Software Distributed Shared Memory (SDSM) systems provide programmers with a shared memory programming environment across distributed memory architectures. In contrast t...
153
click to vote
IPSN
2005
Springer
15 years 7 months ago
2005
Springer
— Environmental energy is an attractive power source for low power wireless sensor networks. We present Prometheus, a system that intelligently manages energy transfer for perpet...
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, we describe an implementation of MPI-IO on top of the Direct Access File System (DAFS) standard. The implementation is realized by porting ROMIO on top of DAFS. We ...