598 search results - page 50 / 120 » Interpolation Mechanism of Functional Networks |
FAC
2010
13 years 5 months ago
2010
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...
ARTQOS
2003
Springer
14 years 1 months ago
2003
Springer
This paper investigates an attempt to establish a QoS class that supports long-lived, bulk-data TCP flows that require a minimum rate from the network. The approach is based on a ...
AI50
2006
13 years 11 months ago
2006
The human brain is the best example of intelligence known, with unsurpassed ability for complex, real-time interaction with a dynamic world. AI researchers trying to imitate its re...
CIIT
2004
13 years 9 months ago
2004
UPnP is a widely-spread connectivity standard, which allows networked devices to cooperate in an autonomous fashion by using functionality found on the network. In this article we...
SACMAT
2005
ACM
14 years 1 months ago
2005
ACM
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...