Searching for "Perspectives of Systems Informatics" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

Polyvariant Expansion and Compiler Generators
by Peter Thiemann, Michael Sperber — 1996 — In PSI-96: Andrei Ershov Second International Memorial Conference, Perspectives of System Informatics, number 1181 in Lecture Notes in Computer Science
… in the 2 Perspectives of System Informatics'96 ;; main: D \Theta S \Theta D ! D ;; Original program…
Cited by 6 (1 self) – Add To MetaCart

Security for multithreaded programs under cooperative scheduling
by Ro Russo, Andrei Sabelfeld — 2006 — In Proc. Andrei Ershov International Conference on Perspectives of System Informatics, LNCS
… that leaks—via the scheduler—secret information into l. This In Proc. Perspectives of System Informatics…
Cited by 4 (3 self) – Add To MetaCart

ESC/Java2: Uniting ESC/Java and JML - Progress and issues in building and using ESC/Java2
by David R. Cok, Joseph R. Kiniry — 2004 — In Construction and Analysis of Safe, Secure and Interoperable Smart Devices: International Workshop, CASSIS 2004
…. Zamulin, editors, Proceedings of the Andrei Ershov Fifth International Conference Perspectives of System…
Cited by 36 (6 self) – Add To MetaCart

An Annotated Bibliography on Temporal and Evolution Aspects in the World Wide Web
by Author(s Fabio Grandi, Christian S. Jensen (codirector, Michael H. Böhlen, Heidi Gregersen, Janne Skyt, Slivinskas Kristian Torp, Richard T. Snodgrass (codirector, Dengfeng Gao, Bongki Moon, Sudha Ram, Michael D. Soo, Fabio Grandi, Fabio Grandi — 2003
… Database on an Object- Relational Database System”, Proc. of Perspectives of System Informatics (PSI’03…
Cited by 15 (0 self) – Add To MetaCart

Confidentiality for Multithreaded Programs via Bisimulation
by Andrei Sabelfeld — 2003 — In Proc. Andrei Ershov International Conference on Perspectives of System Informatics, volume 2890 of LNCS
…@(email omitted); In Proceedings of Andrei Ershov 5th International Conference on Perspectives of System Informatics, Akademgorodok…
Cited by 7 (1 self) – Add To MetaCart

Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All
by Niels H. Christensen, Robert Glück, Søren Laursen — 2000
….V. Zamulin (Eds.): Perspectives of System Informatics. Proceedings. LNCS 1755, pp. 80--92, 2000. c…
Cited by 4 (1 self) – Add To MetaCart

Some Decidability Results for Nested Petri Nets
by Irina A. Lomazova, Philippe Schnoebelen — 2000 — Proc. of 3rd Perspectives of System Informatics
…http://www.lsv.ens-cachan.fr/Publis/ In Proc. Andrei Ershov 3rd Int. Conf. Perspectives of System…
Cited by 4 (1 self) – Add To MetaCart

Semantic Models for the Security of Sequential and Concurrent Programs
by Andrei Sabelfeld, Andrei Sabelfeld, Andrei Sabelfeld — 2001 — Ph.D. dissertation, Chalmers Univ. Technology and Gothenburg Univ
… in the Proceedings of Andrei Ershov 4th International Conference on Perspectives of System Informatics, Akademgorodok…
Cited by 2 (1 self) – Add To MetaCart

The Translation Power of the Futamura Projections
by Robert Glück — 2003 — In Perspectives of Systems Informatics, volume 2890 of LNCS
….V. Zamulin (Eds.): Perspectives of System Informatics. Proceedings. LNCS 2890, pp. 133–147, 2003. c○ Springer…
Cited by 1 (0 self) – Add To MetaCart

Cumulative Habilitation Script Faculty 6- Natural Sciences and Technology I
by Hd Dr, Christoph Benzmüller — 2006
…, An Agent-based Architecture for Dialogue Systems. Perspectives of System Informatics (PSI’06), Novosibirsk…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB