Sciweavers

13

DAGSTUHL
2006

146views Software Engineering» more DAGSTUHL 2006»

06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science

13 years 6 months ago

06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science

Download drops.dagstuhl.de

Gerhard Weikum, Cliff B. Jones, David B. Lomet, Al...

claim paper

Read More »

12

DAGSTUHL
2006

120views Software Engineering» more DAGSTUHL 2006»

06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems

13 years 6 months ago

06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems

Download drops.dagstuhl.de

Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bor...

claim paper

Read More »

9

DAGSTUHL
2006

115views Software Engineering» more DAGSTUHL 2006»

Towards bounded wait-free PASIS

13 years 6 months ago

Towards bounded wait-free PASIS

Download www.hpl.hp.com

d abstract) Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, Jay J. Wylie

Michael Abd-El-Malek, Gregory R. Ganger, Garth R. ...

claim paper

Read More »

10

DAGSTUHL
2006

146views Software Engineering» more DAGSTUHL 2006»

Abstracting out Byzantine Behavior

13 years 6 months ago

Abstracting out Byzantine Behavior

Download drops.dagstuhl.de

Peter Druschel, Andreas Haeberlen, Petr Kouznetsov

claim paper

Read More »

10

DAGSTUHL
2006

133views Software Engineering» more DAGSTUHL 2006»

Benefits of Bio-inspired Technologies for Networked Embedded Systems: An Overview

13 years 6 months ago

Benefits of Bio-inspired Technologies for Networked Embedded Systems: An Overview

Download www.dagstuhl.de

Falko Dressler

claim paper

Read More »

10

DAGSTUHL
2006

142views Software Engineering» more DAGSTUHL 2006»

06371 Abstracts Collection -- From Security to Dependability

13 years 6 months ago

06371 Abstracts Collection -- From Security to Dependability

Download drops.dagstuhl.de

Christian Cachin, Felix C. Freiling, Jaap-Henk Hoe...

claim paper

Read More »

9

DAGSTUHL
2006

116views Software Engineering» more DAGSTUHL 2006»

Analysis of Dynamic Communicating Systems by Hierarchical Abstraction

13 years 6 months ago

Analysis of Dynamic Communicating Systems by Hierarchical Abstraction

Download www.model.in.tum.de

Jörg Bauer, Reinhard Wilhelm

claim paper

Read More »

12

DAGSTUHL
2006

142views Software Engineering» more DAGSTUHL 2006»

Denial of Service Protection with Beaver

13 years 6 months ago

Denial of Service Protection with Beaver

Download drops.dagstuhl.de

We present Beaver, a method and architecture to "build dams" to protect servers from Denial of Service (DoS) attacks. Beaver allows efficient filtering of DoS traffic us...

Gal Badishi, Idit Keidar, Amir Herzberg, Oleg Roma...

claim paper

Read More »

11

DAGSTUHL
2006

123views Software Engineering» more DAGSTUHL 2006»

Enriched categories and models for spaces of dipaths

13 years 6 months ago

Enriched categories and models for spaces of dipaths

Download drops.dagstuhl.de

Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...

Timothy Porter

claim paper

Read More »

19

DAGSTUHL
2006

151views Software Engineering» more DAGSTUHL 2006»

A convenient category of domains

13 years 6 months ago

A convenient category of domains

Download homepages.inf.ed.ac.uk

We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...

Ingo Battenfeld, Matthias Schröder, Alex Simp...

claim paper

Read More »