Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
Vinci is a local area service-oriented architecture designed for rapid development and management of robust web applications. Based on XML document exchange, Vinci is designed to ...
Rakesh Agrawal, Roberto J. Bayardo Jr., Daniel Gru...
The Polish government – Council of the European Union interoperability is an important factor of the Europe enlargement success. This article presents how the interoperability h...
Grzegorz Blizniuk, Mariusz Momotko, Bartosz Nowick...