Sciweavers

EUROSYS
2013
ACM
12 years 1 months ago
TimeStream: reliable stream computation in the cloud
TimeStream is a distributed system designed specifically for low-latency continuous processing of big streaming data on a large cluster of commodity machines. The unique characte...
Zhengping Qian, Yong He, Chunzhi Su, Zhuojie Wu, H...
153
Voted
EUROMICRO
2013
IEEE
12 years 1 months ago
Synthesizing a Comprehensive Framework for Lean Software Development
— Lean principles, originating from Japanese automotive industry, are anticipated to be useful to improve software development processes. Albeit its popularity there is still no ...
Henrik Jonsson, Stig Larsson, Sasikumar Punnekkat
EUROHCIR
2013
11views more  EUROHCIR 2013»
12 years 1 months ago
Fading Away: Dilution and User Behaviour
When faced with a poor set of document summaries on the first page of returned search results, a user may respond in various ways: by proceeding on to the next page of results; b...
Paul Thomas, Falk Scholer, Alistair Moffat
EUROCRYPT
2013
Springer
12 years 1 months ago
Candidate Multilinear Maps from Ideal Lattices
We describe plausible lattice-based constructions with properties that approximate the soughtafter multilinear maps in hard-discrete-logarithm groups, and show an example applicat...
Sanjam Garg, Craig Gentry, Shai Halevi
ESORICS
2013
Springer
12 years 1 months ago
Practical Covertly Secure MPC for Dishonest Majority - Or: Breaking the SPDZ Limits
SPDZ (pronounced “Speedz”) is the nickname of the MPC protocol of Damg˚ard et al. from Crypto 2012. SPDZ provided various efficiency innovations on both the theoretical and p...
Ivan Damgård, Marcel Keller, Enrique Larraia,...
194
Voted
ER
2013
Springer
143views Database» more  ER 2013»
12 years 1 months ago
Big Data - Conceptual Modeling to the Rescue
David W. Embley, Stephen W. Liddle
EPIA
2013
Springer
12 years 1 months ago
Studying Stress on e-Learning Users
E-Learning, much like any other communication processes, has been signicantly shaped by technological evolution. In its original form, e-Learning aimed to bring the education clos...
Davide Carneiro, Sérgio Gonçalves, Paulo...
EMSOFT
2013
Springer
12 years 1 months ago
Pre-orders for reasoning about stability properties with respect to input of hybrid systems
rs on systems are the basis for abstraction based verification of systems. In this paper, we investigate preorders for reasoning about stability with respect to inputs of hybrid ...
Pavithra Prabhakar, Jun Liu, Richard M. Murray
EMS
2013
IEEE
12 years 1 months ago
Tuning Factor the Single Input Fuzzy Logic Controller to Improve the Performances of Depth Control for Underwater Remotely Opera
- This paper investigates the factor of tuning variable parameter for Single Input Fuzzy Logic Controller (SIFLC) to improve the performances of depth control for the underwater Re...
Mohd Shahrieel Mohd Aras, Anuar Mohamed Kassim, Al...
EMMCVPR
2013
Springer
12 years 1 months ago
Rapid Mode Estimation for 3D Brain MRI Tumor Segmentation
Abstract. In this work we develop a method for the efficient automated segmentation of brain tumors by developing a rapid initialization method. Brain tumor segmentation is crucial...
Haithem Boussaid, Iasonas Kokkinos, Nikos Paragios