663 search results - page 57 / 133 » What Is a Concept |
ESORICS
2004
Springer
14 years 2 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
PPSN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We introduce the concept of fruitful regions in a dynamic routing context: regions that have a high potential of generating loads to be transported. The objective is to m...
MKM
2009
Springer
14 years 1 months ago
2009
Springer
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
SIGCSE
2000
ACM
14 years 1 months ago
2000
ACM
Scientific programmers have traditionally programmed in entirely sequential languages such as Fortran, C or Pascal and it could be argued that object-orientation is not a concept ...
DSN
2007
IEEE
14 years 19 days ago
2007
IEEE
Increasing interest is being paid to quantitative evaluation based on measurements of dependability attributes and metrics of computer systems and infrastructures. Despite measura...