Sciweavers

1940 search results - page 46 / 388
» Process as Theory in Information Systems Research
Sort
View
FAC
1998
111views more  FAC 1998»
15 years 1 months ago
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
Henri Korver, M. P. A. Sellink
ENTCS
2007
101views more  ENTCS 2007»
15 years 1 months ago
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
David J. Pym, Chris M. N. Tofts
GPEM
2006
80views more  GPEM 2006»
15 years 1 months ago
Unbounded evolutionary dynamics in a system of agents that actively process and transform their environment
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...
Alastair Channon
OTM
2007
Springer
15 years 8 months ago
Elaborating a Decentralized Market Information System
A Decentralized Market Information System (DMIS) that aggregates and provides information about markets is an important component for achieving markets in Grid and Peer-to-Peer sys...
René Brunner, Felix Freitag
ECIS
2001
15 years 3 months ago
Knowledge integration processes within the context of enterprise resources planning (ERP) systems implementation
The empirical findings from an organization, which adopted and implemented ERP, are presented. The focus of this empirical research was to understand the nature and processes of k...
Jimmy C. Huang, Sue Newell, Shan Ling Pan, Robert ...