Sciweavers

15644 search results - page 2473 / 3129
» Brittle System Analysis
Sort
View
SAC
2011
ACM
14 years 10 months ago
Understanding and improving Wikipedia article discussion spaces
Wikipedia’s article discussion spaces (“Talk pages”) form a large and growing proportion of the encyclopedia, used for collaboration and article improvement. So far there is...
Jodi Schneider, Alexandre Passant, John G. Breslin
238
Voted
SCIENTOMETRICS
2011
14 years 10 months ago
Accuracy of inter-researcher similarity measures based on topical and social clues
Scientific literature recommender systems (SLRSs) provide papers to researchers according to their scientific interests. Systems rely on inter-researcher similarity measures that...
Guillaume Cabanac
288
Voted
APVIS
2011
14 years 7 months ago
Exploring geo-temporal differences using GTdiff
Many data sets exist that contain both geospatial and temporal elements. Within such data sets, it can be difficult to determine how the data have changed over spatial and tempor...
Orland Hoeber, Garnett Carl Wilson, Simon Harding,...
343
Voted
CADE
2011
Springer
14 years 7 months ago
Deciding Security for Protocols with Recursive Tests
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
Mathilde Arnaud, Véronique Cortier, St&eacu...
294
Voted
CLIMA
2011
14 years 7 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
« Prev « First page 2473 / 3129 Last » Next »