2227 search results - page 230 / 446 » Reversibility and Models for Concurrency |
109
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
86
Voted
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Dependence-aware transactional memory (DATM) is a recently proposed model for increasing concurrency of memory transactions without complicating their interface. DATM manages depe...
94
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
100
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
122
click to vote
MM
2003
ACM
15 years 5 months ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...