Search Sciweavers | Sciweavers

661 search results - page 18 / 133

» Concurrency, objects and visualisation

196

click to vote

FM
2009
Springer

190views Formal Methods» more FM 2009»

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects

16 years 1 months ago

Download heim.ifi.uio.no

Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugﬁxes, feature extensions, or changing user requirements. To facilit...

Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu

claim paper

Read More »

144

click to vote

APSEC
2002
IEEE

93views Software Engineering» more APSEC 2002»

Extracting threads from concurrent objects for the design of embedded systems

15 years 11 months ago

Download www-dse.doc.ic.ac.uk

Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama

claim paper

Read More »

134

Voted

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

15 years 11 months ago

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

123

click to vote

IPPS
2000
IEEE

110views Distributed And Parallel Com...» more IPPS 2000»

Tutorial 2: A Foundation for Composing Concurrent Objects

15 years 10 months ago

Download ipdps.cc.gatech.edu

Jean Paul Bahsoun

claim paper

Read More »

197

click to vote

ADBIS
1999
Springer

151views Database» more ADBIS 1999»

A New Class Hierarchy Concurrency Control Technique in Object-Oriented Database Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers