2880 search results - page 259 / 576 » Aspects of Memory Management |
163
click to vote
INFOCOM
2006
IEEE
16 years 21 days ago
2006
IEEE
— The General Internet Signaling Transport (GIST) protocol is currently being developed as the base protocol component in the IETF Next Steps In Signaling (NSIS) protocol stack t...
147
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
The coming generation of mobile phones will enable objects from enterprise systems to be distributed across a range of devices of different scales. This object mobility will provi...
187
click to vote
FMCO
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
148
click to vote
ECSQARU
2003
Springer
15 years 12 months ago
2003
Springer
While AGM belief revision identifies belief states with sets of formulas, proposals for iterated revision are usually based on more complex belief states. In this paper we investi...
170
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...