2036 search results - page 338 / 408 » A generic type-and-effect system |
115
Voted
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
116
Voted
FSKD
2007
Springer
15 years 4 months ago
2007
Springer
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
100
click to vote
AINA
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract--Generic file sharing P2P applications have gained high popularity in the past few years. In particular P2P streaming architectures have attracted attention. Some of them ...
123
click to vote
CNSR
2004
IEEE
15 years 4 months ago
2004
IEEE
A fundamental problem that confronts future applications of sensor networks is how to efficiently locate the sensor node that stores a particular data item. It is known that distr...
113
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...