Perspectives of Systems Informatics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540708803, 9783540708810

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Why Automata Models Are Sexy for Testers? (Invited Talk)

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_5 ◽

2007 ◽

pp. 26-26 ◽

Cited By ~ 1

Author(s):

Alexandre Petrenko

Download Full-text

Streaming Networks for Coordinating Data-Parallel Programs

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_40 ◽

2007 ◽

pp. 451-455 ◽

Cited By ~ 1

Author(s):

Clemens Grelck ◽

Sven-Bodo Scholz ◽

Alex Shafarenko

Keyword(s):

Parallel Programs ◽

Data Parallel

Download Full-text

Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_38 ◽

2007 ◽

pp. 438-442 ◽

Cited By ~ 1

Author(s):

Anatoly Chebotarev ◽

Sergey Krivoi

Keyword(s):

Language L ◽

Satisfiability Checking

Download Full-text

An ASM Semantics of Token Flow in UML 2 Activity Diagrams

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_30 ◽

2007 ◽

pp. 349-362 ◽

Cited By ~ 9

Author(s):

Stefan Sarstedt ◽

Walter Guttmann

Keyword(s):

Activity Diagrams

Download Full-text

Grand Challenges of System Programming

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_2 ◽

2007 ◽

pp. 19-19

Author(s):

Victor Ivannikov

Keyword(s):

Grand Challenges ◽

System Programming

Download Full-text

An Agent-Based Architecture for Dialogue Systems

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_14 ◽

2007 ◽

pp. 135-147 ◽

Cited By ~ 1

Author(s):

Mark Buckley ◽

Christoph Benzmüller

Keyword(s):

Dialogue Systems ◽

Agent Based

Download Full-text

On the Importance of Parameter Tuning in Text Categorization

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_24 ◽

2007 ◽

pp. 270-283 ◽

Cited By ~ 8

Author(s):

Cornelis H. A. Koster ◽

Jean G. Beney

Keyword(s):

Text Categorization ◽

Parameter Tuning

Download Full-text

Report on an Implementation of a Semi-inverter

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_28 ◽

2007 ◽

pp. 322-334 ◽

Cited By ~ 2

Author(s):

Torben Ægidius Mogensen

Download Full-text

Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_39 ◽

2007 ◽

pp. 443-450

Author(s):

R. S. Dubtsov

Keyword(s):

Real Time ◽

Event Structures

Download Full-text

How to Verify and Exploit a Refinement of Component-Based Systems

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70881-0_26 ◽

2007 ◽

pp. 297-309

Author(s):

Olga Kouchnarenko ◽

Arnaud Lanoix

Download Full-text

Perspectives of Systems Informatics - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Why Automata Models Are Sexy for Testers? (Invited Talk)

Streaming Networks for Coordinating Data-Parallel Programs

Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L

An ASM Semantics of Token Flow in UML 2 Activity Diagrams

Grand Challenges of System Programming

An Agent-Based Architecture for Dialogue Systems

On the Importance of Parameter Tuning in Text Categorization

Report on an Implementation of a Semi-inverter

Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction

How to Verify and Exploit a Refinement of Component-Based Systems

Perspectives of Systems Informatics - Lecture Notes in Computer Science
Latest Publications