Sciweavers

2315 search results - page 340 / 463
» Does EigenPalm work
Sort
View
IFL
2007
Springer
141views Formal Methods» more  IFL 2007»
14 years 2 months ago
Partial Parsing: Combining Choice with Commitment
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
Malcolm Wallace
ISW
2007
Springer
14 years 2 months ago
Strongly-Secure Identity-Based Key Agreement and Anonymous Extension
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
Sherman S. M. Chow, Kim-Kwang Raymond Choo
MIDDLEWARE
2007
Springer
14 years 2 months ago
Middleware support for protecting personal data from web based data services
Web based data services are very popular with the average computer user. Examples of such services include Gmail.com, Yahoo Photos, Yahoo Briefcase and Amazon S3 Service. In such ...
Ravi Chandra Jammalamadaka
OSS
2007
Springer
14 years 2 months ago
From the Cathedral to the Bazaar: An Empirical Study of the Lifecycle of Volunteer Community Projects
Some free software and open source projects have been extremely successful in the past. The success of a project is often related to the number of developers it can attract: a larg...
Andrea Capiluppi, Martin Michlmayr
OTM
2007
Springer
14 years 2 months ago
Improving on Version Stamps
Optimistic distributed systems often rely on version vectors or their variants in order to track updates on replicated objects. Some of these mechanisms rely on some form of global...
Paulo Sérgio Almeida, Carlos Baquero, Victo...