Sciweavers

9 search results - page 1 / 2
» edo 2000
Sort
View
EDO
2000
Springer
13 years 8 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh
EDO
2000
Springer
13 years 8 months ago
Towards Designing Distributed Systems with ConDIL
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
Felix Bübl
EDO
2000
Springer
13 years 8 months ago
Advanced Transactions in Enterprise JavaBeans
Enterprise JavaBeans (EJB) is a new technology that aims at supporting distributed transactional component-based applications written in Java. In recent years, a lot of new advance...
Marek Prochazka
EDO
2000
Springer
13 years 8 months ago
Migrating and Specifying Services for Web Integration
With the explosive growth of the Internet, businesses of all sizes aim on applying e-business solutions to their IT infrastructures, migrating their legacy business processes into ...
Ying Zou, Kostas Kontogiannis