Sciweavers

5334 search results - page 203 / 1067
» Communicating quantum processes
Sort
View
SAC
2009
ACM
15 years 11 months ago
Collaborative modeling of business processes: a comparative case study
We study collaborative modeling of business processes with respect to the impact of tool support on the modeling process. For this purpose we compared model quality and modeling c...
Peter Rittgen
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 10 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
ASWEC
2005
IEEE
15 years 9 months ago
A Process-Based Semantics for Message Sequence Charts with Data
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
Chien-An Chen, Sara Kalvala, Jane Sinclair
HICSS
2005
IEEE
149views Biometrics» more  HICSS 2005»
15 years 9 months ago
A Systems Model for Knowledge Management: A Rhetorical Heuristic Process
An Integrative Mental Model of Knowledge Management can provide a way of visualizing the interrelated elements that comprise a knowledge management system. This original model, bu...
Charles E. Beck, Gary R. Schornack
CAISE
2004
Springer
15 years 9 months ago
Ontologies for Analysis and Improvement of Business Process Quality in a Virtual Enterprise
The paper describes the representation and use of three ontologies in a software aiming at the assistance of a virtual team in business process analysis and improvement (BPI), usin...
Alexandra Galatescu, Taisia Greceanu