Sciweavers

SCP
2011
228views Communications» more  SCP 2011»
13 years 6 months ago
Dynamic consistency in process algebra: From Paradigm to ACP
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
CORR
2011
Springer
174views Education» more  CORR 2011»
13 years 6 months ago
Distributed Private Data Analysis: On Simultaneously Solving How and What
We examine the combination of two directions in the field of privacy concerning computations over distributed private inputs – secure function evaluation (SFE) and differential...
Amos Beimel, Kobbi Nissim, Eran Omri
PROPERTYTESTING
2010
13 years 9 months ago
Testing by Implicit Learning: A Brief Survey
We give a high-level survey of the "testing by implicit learning" paradigm, and explain some of the property testing results for various Boolean function classes that ha...
Rocco A. Servedio
NAACL
2010
13 years 9 months ago
Online Learning for Interactive Statistical Machine Translation
State-of-the-art Machine Translation (MT) systems are still far from being perfect. An alternative is the so-called Interactive Machine Translation (IMT) framework. In this framew...
Daniel Ortiz-Martínez, Ismael García...
WWW
2010
ACM
13 years 9 months ago
Building a Usable and Accessible Semantic Web Interaction Platform
Semantic Web applications take off is being slower than expected, at least with respect to “real-world” applications and users. One of the main reasons for this lack of adoptio...
Roberto García, Juan Manuel Gimeno, Ferran ...
PROCEDIA
2010
153views more  PROCEDIA 2010»
13 years 9 months ago
Conceptual framework for dynamic trust monitoring and prediction
The dynamic and collaborative nature of mobile and sensor networks raises the issue of how connected mobile devices can be trusted. Despite the existing security paradigms such as...
Olufunmilola Onolaja, Rami Bahsoon, Georgios Theod...
JOT
2010
117views more  JOT 2010»
13 years 10 months ago
Formal Model and DSL for Separation of Concerns based on Views
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
Mehdi Adda, Hamid Mcheick, Hafedh Mili
SIGPLAN
2008
13 years 11 months ago
AspectC2C: a symmetric aspect extension to the C language
By separating crosscutting concerns into modules, aspectoriented programming (AOP) can greatly improve the maintainability, understandability and reusability of software. However,...
Danfeng Zhang, Yao Guo, Xiangqun Chen
JKM
2007
131views more  JKM 2007»
13 years 11 months ago
A metaphor for knowledge management: explicit islands in a tacit sea
Purpose – This paper aims to examine the current thoughts on knowledge management (KM) and to develop a metaphor to combine these thoughts in a new way that effectively conveys ...
Richard C. Hicks, Ronald Dattero, Stuart D. Galup
AIR
2005
158views more  AIR 2005»
13 years 11 months ago
Review on Computational Trust and Reputation Models
The scientific research in the area of computational mechanisms for trust and reputation in virtual societies is a recent discipline oriented to increase the reliability and perfor...
Jordi Sabater, Carles Sierra