Sciweavers

2343 search results - page 340 / 469
» The Locomotive Routing Problem
Sort
View
WETICE
2000
IEEE
15 years 10 months ago
Towards Secure e-Services
This poster paper presents a work in progress in the new emerging area of electronic services (e-services). The networked home with refrigerators and washing machines connected to...
Claudiu Duma, Almut Herzog, Nahid Shahmehri
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 10 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
WOWMOM
1999
ACM
153views Multimedia» more  WOWMOM 1999»
15 years 10 months ago
Mobility Support Using SIP
Enabling mobility in IP networks is an important issue for making use of the many light-weight devices appearing at the market. The IP mobility support being standardized in the I...
Elin Wedlund, Henning Schulzrinne
FPL
1999
Springer
74views Hardware» more  FPL 1999»
15 years 10 months ago
On Tool Integration in High-Performance FPGA Design Flows
Abstract. High-performance design flows for FPGAs often rely on module generators to counter coarse logic-block granularity and limited routing resources, However, the very flexi...
Andreas Koch
STACS
1999
Springer
15 years 10 months ago
Worst-case Equilibria
We investigate the problem of routing traffic through a congested network in an environment of non-cooperative users. We use the worst-case coordination ratio suggested by Koutsou...
Elias Koutsoupias, Christos H. Papadimitriou