Sciweavers

346 search results - page 19 / 70
» Interaction Nets
Sort
View
IAJIT
2010
166views more  IAJIT 2010»
15 years 1 days ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
BPM
2005
Springer
108views Business» more  BPM 2005»
15 years 7 months ago
From RosettaNet PIPs to BPEL Processes: A Three Level Approach for Business Protocols
Abstract. Business protocols in n-party interactions often require centralized protocol design but decentralized execution without the intervention of the designing party. In this ...
Rania Khalaf
CHI
2002
ACM
16 years 1 months ago
NetRaker suite: a demonstration
This demonstration will show the application of a unique approach to collecting and analyzing usability data from the users of Web sites and software applications. The NetRaker Su...
Doug van Duyne, James A. Landay, Matthew Tarpy
OHS
2001
Springer
15 years 6 months ago
Developing Adaptive Internet Based Courses with the Authoring System NetCoach
Developing adaptive internet based learning courses usually requires a lot of programming efforts to provide session management, keeping track of the learners current state, and ad...
Gerhard Weber, Hans-Christian Kuhl, Stephan Weibel...
APN
2009
Springer
15 years 4 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