Sciweavers

3330 search results - page 542 / 666
» software 2010
Sort
View
WEA
2010
Springer
397views Algorithms» more  WEA 2010»
15 years 10 months ago
A New Combinational Logic Minimization Technique with Applications to Cryptology
Abstract. A new technique for combinational logic optimization is described. The technique is a two-step process. In the first step, the nonlinearity of a circuit – as measured ...
Joan Boyar, René Peralta
ETELEMED
2010
IEEE
216views Healthcare» more  ETELEMED 2010»
15 years 9 months ago
Enhancing Rural Healthcare in Emerging Countries through an eHealth Solution
— This paper investigates the applicability of an eSolution that improves healthcare delivery settings in the rural parts of the developing world and discusses about a proposed p...
Saatviga Sudhahar, Dinusha Vatsalan, Dulindra Wije...
SAC
2010
ACM
15 years 9 months ago
Chemical-inspired self-composition of competing services
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
Mirko Viroli, Matteo Casadei
ESOP
2010
Springer
15 years 9 months ago
On the Expressive Power of Primitives for Compensation Handling
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
Ivan Lanese, Cátia Vaz, Carla Ferreira
AINA
2010
IEEE
15 years 9 months ago
GEPETO: A GEoPrivacy-Enhancing TOolkit
Abstract—A geolocalised system generally belongs to an individual and as such knowing its location reveals the location of its owner, which is a direct threat against his privacy...
Sébastien Gambs, Marc-Olivier Killijian, Mi...