1302 search results - page 11 / 261 » Fair Equivalence Relations |
MSCS
2008
13 years 7 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
VALUETOOLS
2006
ACM
14 years 1 months ago
2006
ACM
— Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motiva...
SIGMETRICS
2005
ACM
14 years 1 months ago
2005
ACM
Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motivatio...
WOWMOM
2000
ACM
14 years 22 hour ago
2000
ACM
In order to support relatively differentiated QoS requirement over time-varying shared wireless medium with location-dependent errors, we propose in this paper a Wireless Fair Sche...
SIGGRAPH
2010
ACM
14 years 4 days ago
2010
ACM
We propose a technique that takes a triangulated surface as input and outputs a surface with the same topology but altered geometry such that each polygon falls into a set of disc...