Sciweavers

3330 search results - page 542 / 666
» software 2010
Sort
View
WEA
2010
Springer
397views Algorithms» more  WEA 2010»
16 years 26 days 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 11 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 11 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 11 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 11 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...