Games, Interaction and Computation (Abstract) (English)
- New search for: Abramsky, S.
- New search for: Abramsky, S.
- New search for: Pnueli, A.
- New search for: Virbitskaite, Irina
- New search for: Voronkov, A.
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Games, Interaction and Computation (Abstract)
-
Contributors:
-
Conference:7th, International Andrei Ershov Memorial Conference; Perspectives of systems informatics: 7th international Andrei Ershov memorial conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. revised papers / ; 2009 ; Novosibirsk, Russia
-
Published in:LECTURE NOTES IN COMPUTER SCIENCE , 5947 ; 1
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2010-01-01
-
Size:1 pages
-
Remarks:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Games, Interaction and Computation (Abstract)Abramsky, S. et al. | 2010
- 2
-
Role of Domain Engineering in Software Development-Why Current Requirements Engineering Is Flawed !Bjorner, D. et al. | 2010
- 35
-
Compositional and Quantitative Model Checking (Extended Abstract)Larsen, K.G. et al. | 2010
- 43
-
Invariants, Modularity, and RightsCohen, E. / Alkassar, E. / Boyarinov, V. / Dahlweid, M. / Degenbaev, U. / Hillebrand, M. / Langenstein, B. / Leinenbach, D. / Moskal, M. / Obua, S. et al. | 2010
- 56
-
Distributed Embedded Systems: Reconciling Computation, Communication and Resource InteractionThiele, L. et al. | 2010
- 58
-
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+Barbuti, R. / Lepri, D. / Maggiolo-Schettini, A. / Milazzo, P. / Pardini, G. / Rama, A. et al. | 2010
- 70
-
A Two-Level Approach for Modeling and Verification of Telecommunication SystemsBeloglazov, D. / Nepomniaschy, V. et al. | 2010
- 86
-
SVM ParadoxesBeney, J. / Koster, C.H.A. et al. | 2010
- 98
-
Indexing Dense Nested Metric Spaces for Efficient Similarity SearchBrisaboa, N.R. / Luaces, M.R. / Pedreira, O. / Places, A.S. / Seco, D. et al. | 2010
- 110
-
On the Containment Problem for Queries in Conjunctive Form with NegationFelea, V. et al. | 2010
- 124
-
Towards a Scalable, Pragmatic Knowledge Representation Language for the WebFischer, F. / Unel, G. / Bishop, B. / Fensel, D. et al. | 2010
- 135
-
An Experiment with the Fourth Futamura ProjectionGluck, R. et al. | 2010
- 151
-
Extracting the Essence of DistillationHamilton, G.W. et al. | 2010
- 165
-
Establishing Linux Driver Verification ProcessKhoroshilov, A. / Mutilin, V. / Petrenko, A. / Zakharov, V. et al. | 2010
- 177
-
A Method for Test Suite Reduction for Regression Testing of Interactions between Software ModulesKichigin, D. et al. | 2010
- 185
-
A Java Supercompiler and Its Application to Verification of Cache-Coherence ProtocolsKlimov, A.V. et al. | 2010
- 193
-
Proving the Equivalence of Higher-Order Terms by Means of SupercompilationKlyuchnikov, I. / Romanenko, S. et al. | 2010
- 206
-
Unifying the Semantics of UML 2 State, Activity and Interaction DiagramsKohlmeyer, J. / Guttmann, W. et al. | 2010
- 218
-
Applicability of the BLAST Model Checker: An Industrial Case StudyKolb, E. / Sery, O. / Weiss, R. et al. | 2010
- 230
-
Sigma ~K-constraints for Hybrid SystemsKorovina, M. / Kudinov, O. et al. | 2010
- 242
-
A Complete Invariant Generation Approach for P-solvable LoopsKovacs, L. et al. | 2010
- 257
-
Standardization and Testing of Mathematical FunctionsKuliamin, V. et al. | 2010
- 269
-
Using AOP for Discovering and Defining Executable Test CasesKumar, P. / Baar, T. et al. | 2010
- 282
-
Cryptographic Protocols Analysis in Event BBenaissa, N. / Mery, D. et al. | 2010
- 294
-
A Query Language for Logic ArchitecturesMalykh, A. / Mantsivoda, A. et al. | 2010
- 306
-
Planet Map Generation by Tetrahedral SubdivisionMogensen, T.A. et al. | 2010
- 319
-
Towards Checking Parametric Reachability for UML State MachinesNiewiadomski, A. / Penczek, W. / Szreter, M. et al. | 2010
- 331
-
A Flexible Approach to Automated Development of Cross Toolkits for Embedded SystemsPakulin, N. / Rubanov, V. et al. | 2010
- 344
-
A Technique for Information Retrieval from Microformatted WebsitesRamos, J.G. / Silva, J. / Arroyo, G. / Solorio, J.C. et al. | 2010
- 352
-
From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control ResearchSabelfeld, A. / Russo, A. et al. | 2010
- 366
-
History-Dependent Stochastic Petri NetsSchonenberg, H. / Sidorova, N. / van der Aalst, W. / van Hee, K. et al. | 2010
- 380
-
Privacy Preserving Modules for OntologiesStuder, T. et al. | 2010
- 388
-
Symbolic Bounded Conformance Checking of Model ProgramsVeanes, M. / Bjorner, N. et al. | 2010
- 401
-
Multi-level Virtual Machine Debugging Using the Java Platform Debugger ArchitectureWurthinger, T. / Van De Vanter, M.L. / Simon, D. et al. | 2010
- 413
-
Anti-unification Algorithms and Their Applications in Program AnalysisBulychev, P.E. / Kostylev, E.V. / Zakharov, V.A. et al. | 2010