141 search results - page 7 / 29 » Session Overview Mechanisms and Design |
CONCUR
1989
Springer
13 years 11 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
IBERAMIA
1998
Springer
13 years 11 months ago
1998
Springer
This paper 1 attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adapti...
INFOCOM
2003
IEEE
14 years 23 days ago
2003
IEEE
Abstract— This paper studies the problem of designing survivable optical wavelength division multiplexed (WDM) networks. A wavelength-routed wide area backbone network supporting...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
Anycast-based content delivery networks (CDNs) have many properties that make them ideal for the large scale distribution of content on the Internet. However, because routing chan...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
High efficiency in capacity utilization and fast restoration are two primary goals of survivable design in optical networks. Shared backup path protection has been shown to be effi...