Sciweavers

278 search results - page 29 / 56
» An interactive tutorial system for Java
Sort
View
PLDI
2003
ACM
14 years 27 days ago
A type and effect system for atomicity
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
Cormac Flanagan, Shaz Qadeer
HICSS
2003
IEEE
153views Biometrics» more  HICSS 2003»
14 years 29 days ago
Automatic Mediation between Incompatible Component Interaction Styles
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...
Klaus-Peter Löhr
VISSOFT
2005
IEEE
14 years 1 months ago
Interactive Exploration of UML Sequence Diagrams
Sequence diagrams are commonly used to represent object interactions in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code, are becom...
Richard Sharp, Atanas Rountev
IC
2003
13 years 9 months ago
An Architecture for Efficient, Flexible Enterprise System Integration
Integrating complex enterprise systems is challenging and reliability and performance of the integrated systems can be problematic when using typical solutions of distributed tran...
John C. Grundy, Jun Bai, John Blackham, John G. Ho...
APN
2009
Springer
13 years 10 months ago
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
Michael Westergaard, Lars Michael Kristensen