28888 search results - page 5433 / 5778 » Computability and complexity in analysis |
110
click to vote
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose the first model of stateful firewalls. In this model, each stateful firewall has a variable set called the state of the firewall, which is used to store some packet...
136
click to vote
HPDC
2005
IEEE
15 years 10 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
141
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
Distance fields provide an implicit representation of shape that has advantages in many application areas; in this overview, we focus on their use in digital design. Distance fi...
147
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
A great jump towards the advent of the Semantic Web will take place when a critical mass of web resources is available for use in a semantic way. This goal can be reached by the c...
144
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
In traditional access control models like MAC, DAC, and RBAC, authorization decisions are determined according to identities of subjects and objects, which are authenticated by a ...