Sciweavers

39362 search results - page 307 / 7873
» Global Computing Systems
Sort
View
SIGOPSE
2004
ACM
15 years 10 months ago
Eluding carnivores: file sharing with strong anonymity
Anonymity is increasingly important for networked applications amidst concerns over censorship and privacy. This paper outlines the design of HerbivoreFS, a scalable and efficien...
Emin Gün Sirer, Sharad Goel, Mark Robson, Dog...
ISCIS
2003
Springer
15 years 9 months ago
MAPSEC: Mobile-Agent Based Publish/Subscribe Platform for Electronic Commerce
Electronic commerce technology offers the opportunity to integrate and optimize the global production and distribution on supply chain. Computers of various corporations, located t...
Ozgur Koray Sahingoz, Nadia Erdogan
DAGSTUHL
2006
15 years 5 months ago
Enriched categories and models for spaces of dipaths
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
Timothy Porter
AICCSA
2007
IEEE
209views Hardware» more  AICCSA 2007»
15 years 8 months ago
LBS and GIS Technology Combination and Applications
Location Based Services (LBSs) provide personalized services to the subscribers based on their current position using Global Navigation Satellite System (GNSS), Geographic Informa...
Balqies Sadoun, Omar Al-Bayari
ATAL
2010
Springer
15 years 5 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga