16666 search results - page 2531 / 3334 » Descriptive and Computational Complexity |
266
click to vote
NOSSDAV
2001
Springer
16 years 1 days ago
2001
Springer
The heterogeneity of the Internet’s transmission resources and end system capability makes it difficult to agree on acceptable traffic characteristics among the multiple receive...
216
click to vote
POLICY
2001
Springer
16 years 1 days ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
269
click to vote
POLICY
2001
Springer
16 years 1 days ago
2001
Springer
The Differentiated Services Architecture defines the mechanisms that are needed to offer multiple classes of services in an IP network. While this model offers significant scaling ...
181
click to vote
SPIN
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
192
click to vote
APCSAC
2000
IEEE
16 years 1 days ago
2000
IEEE
This paper briefly reviews the current research into RISC microprocessor architecture, which now seems to be so complex as to make the acronym somewhat of an oxymoron. In response...