Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540638759, 9783540696582

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Rules for trace consistent reasoning

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science ◽

10.1007/3-540-63875-x_43 ◽

1997 ◽

pp. 57-71 ◽

Cited By ~ 1

Author(s):

R. Ramanujam

Download Full-text

Solver for hierarchical CSP containing several constraint types and multi-output constraints

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science ◽

10.1007/3-540-63875-x_74 ◽

1997 ◽

pp. 385-386

Author(s):

Mouhssine Bouxoubaa

Keyword(s):

Output Constraints

Download Full-text

Nepi2: a two-level calculus for network programming based on the π-calculus

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science ◽

10.1007/3-540-63875-x_70 ◽

1997 ◽

pp. 377-378 ◽

Cited By ~ 1

Author(s):

Eiichi Horital ◽

Ken Mano

Keyword(s):

Network Programming ◽

Π Calculus

Download Full-text

An imperative language with read/write type modes

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science ◽

10.1007/3-540-63875-x_57 ◽

1997 ◽

pp. 254-267 ◽

Cited By ~ 1

Author(s):

Paul Roe

Keyword(s):

Imperative Language

Download Full-text

Efficient induction of executable logic programs from examples

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science ◽

10.1007/3-540-63875-x_54 ◽

1997 ◽

pp. 212-224 ◽

Cited By ~ 2

Author(s):

Nobuhiro Inuzuka ◽

Hirohisa Seki ◽

Hidenori Itoh

Keyword(s):

Logic Programs ◽

Efficient Induction

Download Full-text

Implementing constraint retraction for finite domains

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science ◽

10.1007/3-540-63875-x_49 ◽

1997 ◽

pp. 136-150

Author(s):

Yan Georget ◽

Philippe Codognet ◽

Francesca Rossi

Keyword(s):

Finite Domains

Download Full-text

Adaptive object storage system for mobile computing environments

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science ◽

10.1007/3-540-63875-x_67 ◽

1997 ◽

pp. 371-372

Author(s):

Tatsuo Nakajima

Keyword(s):

Mobile Computing ◽

Storage System ◽

Object Storage ◽

Computing Environments

Download Full-text

Share-where maintenance in visual algebraic specifications

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science ◽

10.1007/3-540-63875-x_60 ◽

1997 ◽

pp. 297-311

Author(s):

T. B. Dinesh ◽

Susan M. Üsküdarh

Keyword(s):

Algebraic Specifications

Download Full-text

Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science ◽

10.1007/3-540-63875-x_42 ◽

1997 ◽

pp. 46-56 ◽

Cited By ~ 9

Author(s):

Robert Büssow ◽

Wolfgang Grieskamp

Keyword(s):

Embedded Systems ◽

Temporal Interval ◽

And Behaviors

Download Full-text

Rules for abstraction

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science ◽

10.1007/3-540-63875-x_41 ◽

1997 ◽

pp. 32-45 ◽

Cited By ~ 5

Author(s):

Stephan Merz

Download Full-text

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Rules for trace consistent reasoning

Solver for hierarchical CSP containing several constraint types and multi-output constraints

Nepi2: a two-level calculus for network programming based on the π-calculus

An imperative language with read/write type modes

Efficient induction of executable logic programs from examples

Implementing constraint retraction for finite domains

Adaptive object storage system for mobile computing environments

Share-where maintenance in visual algebraic specifications

Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems

Rules for abstraction

Advances in Computing Science — ASIAN'97 - Lecture Notes in Computer Science
Latest Publications