Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540206323, 9783540409656

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures – Preliminary Report –

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_9 ◽

2003 ◽

pp. 125-145 ◽

Cited By ~ 3

Author(s):

Deepak Kapur ◽

M. Subramaniam

Keyword(s):

Preliminary Report ◽

Automatic Generation ◽

Decision Procedures ◽

Recursive Definitions

Download Full-text

Generating Optimal Linear Temporal Logic Monitors by Coinduction

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_17 ◽

2003 ◽

pp. 260-275 ◽

Cited By ~ 12

Author(s):

Koushik Sen ◽

Grigore Roşu ◽

Gul Agha

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Optimal Linear

Download Full-text

Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_11 ◽

2003 ◽

pp. 161-172

Author(s):

Ning Chen ◽

Hong Zhu

Keyword(s):

Incentive Compatible ◽

Pricing Scheme ◽

Incentive Compatible Mechanism

Download Full-text

Bankable Postage for Network Services

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_6 ◽

2003 ◽

pp. 72-90 ◽

Cited By ~ 13

Author(s):

Martín Abadi ◽

Andrew Birrell ◽

Mike Burrows ◽

Frank Dabek ◽

Ted Wobber

Keyword(s):

Network Services

Download Full-text

The Design and Evaluation of a Middleware Library for Distribution of Language Entities

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_16 ◽

2003 ◽

pp. 243-259 ◽

Cited By ~ 3

Author(s):

Erik Klintskog ◽

Zacharias El Banna ◽

Per Brand ◽

Seif Haridi

Download Full-text

A Calculus for Secure Mobility

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_13 ◽

2003 ◽

pp. 188-204 ◽

Cited By ~ 4

Author(s):

Bruno Blanchet ◽

Benjamin Aziz

Download Full-text

Achieving Type Safety for Low-Level Code

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_1 ◽

2003 ◽

pp. 1-2

Author(s):

Greg Morrisett

Keyword(s):

Type Safety ◽

Low Level

Download Full-text

Information Flow Security for XML Transformations

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_4 ◽

2003 ◽

pp. 33-53 ◽

Cited By ~ 2

Author(s):

Véronique Benzaken ◽

Marwan Burelle ◽

Giuseppe Castagna

Keyword(s):

Information Flow ◽

Information Flow Security

Download Full-text

A Calculus of Bounded Capacities

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_14 ◽

2003 ◽

pp. 205-223 ◽

Cited By ~ 9

Author(s):

Franco Barbanera ◽

Michele Bugliesi ◽

Mariangiola Dezani-Ciancaglini ◽

Vladimiro Sassone

Download Full-text

Model Checking Probabilistic Distributed Systems

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-40965-6_19 ◽

2003 ◽

pp. 291-304 ◽

Cited By ~ 1

Author(s):

Benedikt Bollig ◽

Martin Leucker

Keyword(s):

Distributed Systems ◽

Model Checking

Download Full-text

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures – Preliminary Report –

Generating Optimal Linear Temporal Logic Monitors by Coinduction

Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction

Bankable Postage for Network Services

The Design and Evaluation of a Middleware Library for Distribution of Language Entities

A Calculus for Secure Mobility

Achieving Type Safety for Low-Level Code

Information Flow Security for XML Transformations

A Calculus of Bounded Capacities

Model Checking Probabilistic Distributed Systems

Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation - Lecture Notes in Computer Science
Latest Publications