12052 search results - page 541 / 2411 » computing 2010 |
200
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
149
click to vote
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
The statistical language R and Bioconductor package are favoured by many biostatisticians for processing microarray data. The amount of data produced by these analyses has reached...
221
click to vote
JMLR
2010
15 years 1 months ago
2010
Structured prediction tasks pose a fundamental trade-off between the need for model complexity to increase predictive power and the limited computational resources for inference i...
131
click to vote
ZEUS
2010
15 years 8 months ago
2010
Research in the domain of Workflow Management focuses increasingly on service orchestrations. Often the fact is neglected that a huge part of the activities of business processes a...
189
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we introduce a framework for secure two-party (S2P) computations, which we call bureaucratic computing, and we demonstrate its efficiency by designing practical S2P...