Sciweavers

4949 search results - page 638 / 990
» Consistency and Set Intersection
Sort
View
HICSS
2010
IEEE
240views Biometrics» more  HICSS 2010»
16 years 1 months ago
Can e-Government Adopters Benefit from a Technology-First Approach? The Case of Egypt Embarking on Service-Oriented Architecture
It seems common sense that “policy matters” in setting up e-government interoperability, mainly because collaboration should be guided by dedicated integration objectives and ...
Ralf Klischewski, Ranwa Abubakr
SAC
2010
ACM
16 years 1 months ago
Fast, flexible, and highly resilient genuine fifo and causal multicast algorithms
We study the fifo and causal multicast problem, two group-communication abstractions that deliver messages in an order consistent with their context. With fifo multicast, the co...
Nicolas Schiper, Fernando Pedone
TEI
2010
ACM
134views Hardware» more  TEI 2010»
16 years 1 months ago
Tangible lightscapes
Tangible Lightscapes is a research on interfaces mainly based on light and gestures. The aim of my exploration is to design a vocabulary of light behaviours to show people what th...
Alice V. Pintus
186
Voted
FOSSACS
2010
Springer
16 years 1 months ago
Completeness for Algebraic Theories of Local State
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
Sam Staton
PAM
2010
Springer
16 years 1 months ago
Extracting Intra-domain Topology from mrinfo Probing
Active and passive measurements for topology discovery have known an impressive growth during the last decade. If a lot of work has been done regarding inter-domain topology discov...
Jean-Jacques Pansiot, Pascal Mérindol, Beno...