1888 search results - page 201 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
142
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
127
click to vote
ICDCSW
2006
IEEE
15 years 10 months ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
119
click to vote
ICDCS
1993
IEEE
15 years 8 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
167
Voted
SOUPS
2006
ACM
15 years 10 months ago
2006
ACM
The usability of access control mechanisms in modern distributed systems has been widely criticized but little studied. In this paper, we carefully examine one such widely deploye...
143
click to vote
KES
2009
Springer
15 years 8 months ago
2009
Springer
: With the increase in the amount and complexity of information, data warehouse performance has become a constant issue, especially for decision support systems. As decisional expe...