Sciweavers

575 search results - page 41 / 115
» A Calculus for Interaction Nets
Sort
View
ICSEA
2009
IEEE
13 years 6 months ago
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
Óscar R. Ribeiro, João M. Fernandes
APCHI
2004
IEEE
14 years 18 days ago
NetWorker: A Practical Web-Based Tool to Support the Collect-Compare-Choose Cycle
An earlier paper has covered the development of a paper prototype of NetWorker, a tool designed to facilitate a Web usage referred to as the Collect-Compare-Choose cycle. Here we d...
Paul J. Lyons, Chris Phillips, Elizabeth A. Kemp, ...
IAJIT
2010
166views more  IAJIT 2010»
13 years 7 months 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
AB
2008
Springer
14 years 3 months ago
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
Erwin Engeler
BPM
2005
Springer
108views Business» more  BPM 2005»
14 years 2 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