Sciweavers

1063 search results - page 115 / 213
» Order and Negation as Failure
Sort
View
107
Voted
ORL
2010
85views more  ORL 2010»
14 years 11 months ago
Stable routing under the Spanning Tree Protocol
The Spanning Tree Protocol routes traffic on shortest path trees. If some edges fail, the traffic has to be rerouted consequently, setting up alternative trees. In this paper we d...
Fabrizio Grandoni, Gaia Nicosia, Gianpaolo Oriolo,...
99
Voted
VTC
2010
IEEE
121views Communications» more  VTC 2010»
14 years 11 months ago
Randomized DSFC with Relay-Assisted ARQ for Decentralized Wireless Relay Networks
Abstract—In this paper, randomized distributed spacefrequency coding (R-DSFC) scheme is proposed for decentralized wireless relay networks. We consider relay-assisted ARQ to over...
Eungkuk Nam, Jae Hong Lee
120
Voted
SG
2005
Springer
15 years 6 months ago
Multi-level Interaction in Parametric Design
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
Robert Aish, Robert Woodbury
97
Voted
AGP
1998
IEEE
15 years 5 months ago
Dynamic Logic Programming
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
José Júlio Alferes, João Alex...
RAID
1999
Springer
15 years 5 months ago
Defending against a Denial-of-Service Attack on TCP
In this paper we propose a real-time anomaly detection method for detecting TCP SYN-flooding attacks. This method is based on the intensities of SYN segments which are measured on...
Pars Mutaf