120
click to vote
FEDCSIS
2013
11 years 12 months ago
2013
—Operational processes leave trails in the information systems supporting them. Such event data are the starting point for process mining – an emerging scientific discipline r...
EVOW
2013
Springer
11 years 12 months ago
2013
Springer
An iterative selection hyper-heuristic passes a solution through a heuristic selection process to decide on a heuristic to apply from a fixed set of low level heuristics and then ...
157
click to vote
EUROSYS
2013
ACM
11 years 12 months ago
2013
ACM
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...
125
click to vote
EUROMICRO
2013
IEEE
11 years 12 months ago
2013
IEEE
— Lean principles, originating from Japanese automotive industry, are anticipated to be useful to improve software development processes. Albeit its popularity there is still no ...
EUROHCIR
2013
11 years 12 months ago
2013
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...
191
click to vote
EUROCRYPT
2013
Springer
11 years 12 months ago
2013
Springer
We describe plausible lattice-based constructions with properties that approximate the soughtafter multilinear maps in hard-discrete-logarithm groups, and show an example applicat...
ESORICS
2013
Springer
11 years 12 months ago
2013
Springer
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...
170
click to vote
EPIA
2013
Springer
11 years 12 months ago
2013
Springer
E-Learning, much like any other communication processes, has been signi cantly shaped by technological evolution. In its original form, e-Learning aimed to bring the education clos...
116
click to vote
EMSOFT
2013
Springer
11 years 12 months ago
2013
Springer
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 ...