Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540620310, 9783540496267

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Coupling object orientation & deduction — A modelling perspective

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science ◽

10.1007/bfb0027816 ◽

1996 ◽

pp. 355-356

Author(s):

E. Ravindran ◽

S. C. Hui

Keyword(s):

Object Orientation

Download Full-text

Constructing more relevant models

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science ◽

10.1007/bfb0027811 ◽

1996 ◽

pp. 345-346

Author(s):

Lifeng He ◽

Yuyan Chao ◽

Yuka Simajiri ◽

Hirohisa Seki ◽

Hidenori Itoh

Download Full-text

Conjunctive vector representations for set valued feature descriptions

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science ◽

10.1007/bfb0027805 ◽

1996 ◽

pp. 333-334

Author(s):

Michael Carl

Keyword(s):

Vector Representations

Download Full-text

ALPS-HI: An annotated logic programming system with hypothetical implications

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science ◽

10.1007/bfb0027810 ◽

1996 ◽

pp. 343-344

Author(s):

Kazuaki Goshi ◽

Jingde Cheng ◽

Kazuo Ushijima

Keyword(s):

Logic Programming ◽

Programming System ◽

Annotated Logic

Download Full-text

Improving the X.509 protocol for ATM networks

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science ◽

10.1007/bfb0027808 ◽

1996 ◽

pp. 339-340

Author(s):

Shaw-Cheng Chuang

Keyword(s):

Atm Networks

Download Full-text

Checking linear duration invariants by linear programming

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science ◽

10.1007/bfb0027804 ◽

1996 ◽

pp. 321-332 ◽

Cited By ~ 12

Author(s):

Li Xuandong ◽

Dang Van Hung

Keyword(s):

Linear Programming

Download Full-text

Hierarchical verification using verification diagrams

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science ◽

10.1007/bfb0027800 ◽

1996 ◽

pp. 276-286 ◽

Cited By ~ 5

Author(s):

I. A. Browne ◽

Z. Manna ◽

H. B. Sipma

Keyword(s):

Hierarchical Verification

Download Full-text

End-to-end behavior of the internet: Measurements, analysis, and applications

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science ◽

10.1007/bfb0027820 ◽

1996 ◽

pp. 362-376 ◽

Cited By ~ 1

Author(s):

Jean-Chrysostome Bolot

Keyword(s):

The Internet ◽

Internet Measurements ◽

End To End

Download Full-text

The heuristics for the constrained multicast routing

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science ◽

10.1007/bfb0027793 ◽

1996 ◽

pp. 204-212

Author(s):

Zong-Ben Xu ◽

Bo-Ting Yang

Keyword(s):

Multicast Routing

Download Full-text

A calculational approach to flattening nested data parallelism in functional languages

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science ◽

10.1007/bfb0027796 ◽

1996 ◽

pp. 234-243 ◽

Cited By ~ 6

Author(s):

Gabriele Keller ◽

Martin Simons

Keyword(s):

Data Parallelism ◽

Functional Languages ◽

Nested Data

Download Full-text

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Coupling object orientation & deduction — A modelling perspective

Constructing more relevant models

Conjunctive vector representations for set valued feature descriptions

ALPS-HI: An annotated logic programming system with hypothetical implications

Improving the X.509 protocol for ATM networks

Checking linear duration invariants by linear programming

Hierarchical verification using verification diagrams

End-to-end behavior of the internet: Measurements, analysis, and applications

The heuristics for the constrained multicast routing

A calculational approach to flattening nested data parallelism in functional languages

Concurrency and Parallelism, Programming, Networking, and Security - Lecture Notes in Computer Science
Latest Publications