5128 search results - page 777 / 1026 » When Abstraction Fails |
149
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register imp...
203
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
152
click to vote
RECOMB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Emerging research demonstrates the potential of proteinprotein interaction (PPI) networks in uncovering the mechanistic bases of cancers, through identification of intera...
187
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Call control features (e.g., call-divert, voice-mail) are primitive options to which users can subscribe off-line to personalise their service. The configuration of a fea...
206
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Applying real-time segmentation is a major issue when processing every frame of image sequences. In this paper, we propose a modification of the well known graph-cut algo...