Sciweavers

2841 search results - page 117 / 569
» A Call to Order
Sort
View
COMPUTER
1998
94views more  COMPUTER 1998»
15 years 5 months ago
Multiprocessors Should Support Simple Memory-Consistency Models
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...
Mark D. Hill
JMLR
2010
135views more  JMLR 2010»
15 years 28 days ago
An Exponential Model for Infinite Rankings
This paper presents a statistical model for expressing preferences through rankings, when the number of alternatives (items to rank) is large. A human ranker will then typically r...
Marina Meila, Le Bao
CSFW
1993
IEEE
15 years 10 months ago
Abstract Machines for Communication Security
Machines for Communication Security Pierre Bieber, Nora Boulahia-Cuppens Thomas Lehmann, Erich van Wickeren ONERA-CERT CAP debis GEI 2 Av. E. Belin Oxfordstr. 12-16 F-31055, Toulou...
Pierre Bieber, Nora Boulahia-Cuppens, T. Lehmann, ...
141
Voted
ECOWS
2006
Springer
15 years 9 months ago
Verifying Correctness of Web Services Choreography
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
Tarek Melliti, Céline Boutrous-Saab, Sylvai...
TROB
2011
112views more  TROB 2011»
15 years 1 months ago
Mapping and Pursuit-Evasion Strategies For a Simple Wall-Following Robot
— This paper defines and analyzes a simple robot with local sensors that moves in an unknown polygonal environment. The robot can execute wall-following motions and can traverse...
Max Katsev, Anna Yershova, Benjamín Tovar, ...