Sciweavers

1912 search results - page 183 / 383
» On the evaluation of argumentation formalisms
Sort
View
MEMOCODE
2010
IEEE
15 years 4 months ago
Elastic systems
Elastic systems provide tolerance to the variations in computation and communication delays. The incorporation of elasticity opens new opportunities for optimization using new corr...
Jordi Cortadella, Marc Galceran Oms, Michael Kishi...
ENASE
2009
88views Hardware» more  ENASE 2009»
15 years 4 months ago
FOCAS: An Enginering Environment for Service-Based Applications
Service composition is an important topic, but so far addressed from a technical and low level perspective. The issue is not (too much) the orchestration formalism, but rather the ...
Gabriel Pedraza, Idrissa A. Dieng, Jacky Estublier
TKDE
2012
236views Formal Methods» more  TKDE 2012»
13 years 9 months ago
Improving Aggregate Recommendation Diversity Using Ranking-Based Techniques
— Recommender systems are becoming increasingly important to individual users and businesses for providing personalized recommendations. However, while the majority of algorithms...
Gediminas Adomavicius, YoungOk Kwon
WWW
2007
ACM
16 years 7 months ago
Analyzing web access control policies
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...
Vladimir Kolovski, James A. Hendler, Bijan Parsia
CADE
2007
Springer
16 years 6 months ago
Symbolic Fault Injection
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
Daniel Larsson, Reiner Hähnle