Sciweavers

2841 search results - page 117 / 569
» A Call to Order
Sort
View
COMPUTER
1998
94views more  COMPUTER 1998»
14 years 9 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»
14 years 4 months 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 2 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, ...
ECOWS
2006
Springer
15 years 1 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»
14 years 5 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, ...