16725 search results - page 3000 / 3345 » Engineering Software Correctness |
147
Voted
CSSE
2004
IEEE
15 years 4 months ago
2004
IEEE
Even though the final objective of an access control model is to provide a framework to decide if actions performed by subjects on objects are permitted or not, it is not convenie...
145
click to vote
AC
2000
Springer
15 years 4 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
167
click to vote
AC
1998
Springer
15 years 4 months ago
1998
Springer
Abstract: Since von Neumann's seminal work around 1950, computer scientists and others have studied the algorithms needed to support self-replicating systems. Much of this wor...
134
click to vote
AIM
1999
15 years 4 months ago
1999
The Journal of Artificial Intelligence Research (JAIR) was one of the first scientific journals distributed over the Web. It has now completed over five years of successful public...
191
Voted
JOOP
1998
15 years 4 months ago
1998
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...