15660 search results - page 322 / 3132 » The Unbalance of Set Systems |
174
Voted
TABLEAUX
2000
Springer
15 years 11 months ago
2000
Springer
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...
197
click to vote
DBSEC
2010
15 years 9 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
205
Voted
APPINF
2003
15 years 9 months ago
2003
It is a large collection of software supporting the planning, execution and reporting of work activities, but these systems are mainly created to be run in a distributed wired net...
172
click to vote
ECAI
2004
Springer
16 years 29 days ago
2004
Springer
This paper addresses the diagnosability problem of distributed discrete event systems. Until now, the problem of diagnosability has always been solved by considering centralised ap...
288
click to vote
FAABS
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...