422 search results - page 19 / 85 » Incremental Detection of Model Inconsistencies Based on Mode... |
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
67
Voted
ASIACRYPT
2003
Springer
15 years 2 months ago
2003
Springer
We introduce a new cryptographic tool: multiset hash functions. Unlike standard hash functions which take strings as input, multiset hash functions operate on multisets (or sets). ...
JSS
2007
14 years 9 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
74
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
86
Voted
COLCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...