1391 search results - page 194 / 279 » Completeness of Neighbourhood Logic |
149
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
150
click to vote
ADC
2004
Springer
15 years 11 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
154
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
173
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
The purpose of this paper is twofold: first, to illustrate a stand-alone board-level evolvable system (SABLES) and its performance, and second to illustrate some problems that occ...
143
click to vote
ISLPED
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we present a completely on-chip voltage regulation technique which promises to adjust the degree of voltage regulation in a digital logic chip in the face of process...