Sciweavers

2199 search results - page 313 / 440
» Adapting Privacy-Preserving Computation to the Service Provi...
Sort
View
100
Voted
PERCOM
2010
ACM
14 years 11 months ago
DogSim: A state chart simulator for Domotic Environments
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
Dario Bonino, Fulvio Corno
MSWIM
2009
ACM
15 years 7 months ago
A performance evaluation framework for fair solutions in ad hoc networks
Fairness in multihop ad hoc networks has received considerable attention in the literature. Many schemes have been proposed, which attempt to compute the “optimal” bit rates o...
Manos Dramitinos, Rémi Vannier, Isabelle Gu...
EUROMICRO
2009
IEEE
15 years 4 months ago
Fault-Tolerant BPEL Workflow Execution via Cloud-Aware Recovery Policies
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...
Ernst Juhnke, Tim Dörnemann, Bernd Freisleben
107
Voted
WOA
2000
15 years 2 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
Alessandro Armando, Daniele Zini
216
Voted
POPL
2008
ACM
16 years 1 months ago
Systems biology, models, and concurrency
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
Walter Fontana