Sciweavers

1367 search results - page 165 / 274
» Describing Business Processes with Use Cases
Sort
View
WOA
2003
15 years 7 months ago
A Design Tool to Develop Agent-Based Workflow Management Systems
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
Marco Repetto, Massimo Paolucci 0002, Antonio Bocc...
GI
2010
Springer
15 years 4 months ago
Reusable Interaction Protocols for Workflows
With the advent of collaborative business processes that may include different parties, the interaction means between those processes steadily gains more importance. Despite this i...
Alexander Pokahr, Lars Braubach
BTW
2009
Springer
128views Database» more  BTW 2009»
15 years 9 months ago
Stream-Based Web Service Invocation
: Service-oriented architectures (SOA) based on Web service technology play an increasingly important role in many different application areas. The current service invocation metho...
Steffen Preissler, Hannes Voigt, Dirk Habich, Wolf...
CAV
2005
Springer
173views Hardware» more  CAV 2005»
16 years 1 days ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
MABS
2004
Springer
15 years 12 months ago
Simulation and Analysis of Shared Extended Mind
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
Tibor Bosse, Catholijn M. Jonker, Martijn C. Schut...