345 search results - page 63 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
115
click to vote
TASE
2008
IEEE
14 years 9 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
109
click to vote
CCS
2011
ACM
13 years 9 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
IEEEARES
2010
IEEE
15 years 4 months ago
2010
IEEE
—Collaborations by the use of inter-organizational business processes can help companies to achieve a competitive edge over competing businesses. Typically, these collaborations ...
69
Voted
DOCENG
2010
ACM
14 years 10 months ago
2010
ACM
: APEX: Automated Policy Enforcement eXchange Steven J. Simske, Helen Balinsky HP Laboratories HPL-2010-134 Policy, Text Analysis, Policy Server, Policy Editor, Document Systems, ...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...