4752 search results - page 821 / 951 » Dependability in Web Software |
172
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
167
click to vote
PRDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a Highly-Available Open Shortest Path First (HA-OSPF) router which consists of two OSPF router modules-active and standby-to support a highavailability network...
213
click to vote
ARC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The novel design of high-speed and low-energy FPGA routing architecture consisting of appropriate wire segments and multiple Switch Boxes is introduced. For that purpose,...
166
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper analyzes sequential auctions for private value objects using second-price sealed-bid rules. Now, the equilibrium bids for such auctions depend on the information uncerta...
156
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...