407 search results - page 65 / 82 » Malleable Proof Systems and Applications |
ICA3PP
2009
Springer
14 years 4 days ago
2009
Springer
In-memory data sharing for grids allow location-transparent access to data stored in volatile memory. Existing Grid middlewares typ- ically support only explicit data transfer betw...
AUIC
2004
IEEE
13 years 11 months ago
2004
IEEE
We are at present enabled with machine-empowered technologies. The future is certainly looking towards human-empowered technologies, which should enable mobile user with natural w...
GEOINFO
2004
13 years 9 months ago
2004
Abstract With the proliferation of Geographic Information Systems (GIS) and spatial resources over the Internet, there is an increasing demand for robust geospatial information ser...
WOA
2007
13 years 8 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is becoming much more complex. S...