Search Sciweavers | Sciweavers

661 search results - page 18 / 133

» Concurrency, objects and visualisation

141

click to vote

FM
2009
Springer

190views Formal Methods» more FM 2009»

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects

15 years 9 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 »

105

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 8 months ago

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

Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama

claim paper

Read More »

Voted

LICS
2002
IEEE

95views Automated Reasoning» more LICS 2002»

A Fully Abstract May Testing Semantics for Concurrent Objects

15 years 8 months ago

Download www.asaj.org

Alan Jeffrey, Julian Rathke

claim paper

Read More »

click to vote

IPPS
2000
IEEE

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

Tutorial 2: A Foundation for Composing Concurrent Objects

15 years 7 months ago

Download ipdps.cc.gatech.edu

Jean Paul Bahsoun

claim paper

Read More »

143

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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers