Sciweavers

28095 search results - page 5263 / 5619
» D
Sort
View
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
16 years 16 hour ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
FPGA
2003
ACM
167views FPGA» more  FPGA 2003»
16 years 15 hour ago
A scalable 2 V, 20 GHz FPGA using SiGe HBT BiCMOS technology
This paper presents a new power saving, high speed FPGA design enhancing a previous SiGe CML FPGA based on the Xilinx 6200 FPGA. The design aims at having a higher performance but...
Jong-Ru Guo, Chao You, Kuan Zhou, Bryan S. Goda, R...
GI
2003
Springer
16 years 12 hour ago
Soziale Kompetenzen in der Online-Programmierausbildung
: Soziale Kompetenz ist eine der unverzichtbaren Schlüsselqualifikationen für den Arbeitsmarkt. Team- und Kooperationsfähigkeit, setzen sowohl zwischenmenschliche, psychische al...
Gudrun Görlitz, Stefan Müller 0005, Oliv...
ICALP
2003
Springer
16 years 10 hour ago
Similarity Matrices for Pairs of Graphs
Abstract. We introduce a concept of similarity between vertices of directed graphs. Let GA and GB be two directed graphs with respectively nA and nB vertices. We define a nA × nB...
Vincent D. Blondel, Paul Van Dooren
ICALP
2003
Springer
16 years 10 hour ago
Fixed-Parameter Algorithms for the (k, r)-Center in Planar Graphs and Map Graphs
The (k, r)-center problem asks whether an input graph G has ≤ k vertices (called centers) such that every vertex of G is within distance ≤ r from some center. In this paper we ...
Erik D. Demaine, Fedor V. Fomin, Mohammad Taghi Ha...
« Prev « First page 5263 / 5619 Last » Next »