10038 search results - page 1488 / 2008 » Model Checking for Managers |
169
click to vote
ICDCSW
2006
IEEE
16 years 28 days ago
2006
IEEE
Peer-to-peer (P2P) systems are based upon the cooperative interactions of member peers. Typically, peers are both autonomous and self-interested, meaning that there is no hierarch...
203
click to vote
INFOCOM
2006
IEEE
16 years 27 days ago
2006
IEEE
— We recently showed for peer-to-peer networks, that having the number of replicas of each object proportional to the request rate for these objects has many per-node advantages....
166
click to vote
ELPUB
2006
ACM
16 years 25 days ago
2006
ACM
Collection management policies of libraries were mainly shaped by in-house use of materials in the past. Yet the emergence of electronic journals and their availability through pu...
200
click to vote
MOBIDE
2006
ACM
16 years 25 days ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
163
click to vote
ESCIENCE
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper describes our experience with SegHidro, a project that empowers hydro-meteorological researchers by (i) enabling collaborative work via the coupling of computer models,...