Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Series=LNCS AND Volume=3407

Als [bib] [pdf] [ps] [dvi] [xml] herunterladen.

Software services: Scientific challenge or industrial hype?
José Luiz Fiadeiro
Lecture Notes in Computer Science 3407, 2005, pp. 1-13
Integrating variants of DC
He Jifeng, Jin Naiyong
Lecture Notes in Computer Science 3407, 2005, pp. 14-34
Challenges in increasing tool support for programming
K. Rustan M. Leino
Lecture Notes in Computer Science 3407, 2005, pp. 35-35
A predicate spatial logic and model checking for mobile processes
Huimin Lin
Lecture Notes in Computer Science 3407, 2005, pp. 36-36
Object connectivity and full abstraction for a concurrent calculus of classes
Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
Lecture Notes in Computer Science 3407, 2005, pp. 37-51
Specifying software connectors
Marco Antonio Barbosa, Luís Soares Barbosa
Lecture Notes in Computer Science 3407, 2005, pp. 52-67
Replicative-distribution rules in P systems with active membranes
Tseren-Onolt Ishdorj, Mihai Ionescu
Lecture Notes in Computer Science 3407, 2005, pp. 68-83
A generalisation of a relational structures model of concurrency
Ryszard Janicki
Lecture Notes in Computer Science 3407, 2005, pp. 84-98
A logical characterization of efficiency preorders
Neelesh Korade, S. Arun-Kumar
Lecture Notes in Computer Science 3407, 2005, pp. 99-112
Inherent causal orderings of partial order scenarios
Bill Mitchell
Lecture Notes in Computer Science 3407, 2005, pp. 113-127
Atomic components
Steve Reeves, David Streader
Lecture Notes in Computer Science 3407, 2005, pp. 128-139
Towards an optimization-based method for consolidating domain variabilities in domain-specific web services composition
Jun-Feng Zhao, Lu Zhang, Ya-Sha Wang, Ying Jiang, Bing Xie
Lecture Notes in Computer Science 3407, 2005, pp. 140-153
A formal framework for ontology integration based on a default extension to DDL
Yinglong Ma, Jun Wei, Beihong Jin, Shaohua Liu
Lecture Notes in Computer Science 3407, 2005, pp. 154-169
A predicative semantic model for integrating UML models
Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li
Lecture Notes in Computer Science 3407, 2005, pp. 170-186
An automatic mapping from statecharts to Verilog
Viet-Anh Vu Tran, Shengchao Qin, Wei Ngan Chin
Lecture Notes in Computer Science 3407, 2005, pp. 187-203
Reverse observation equivalence between labelled state transition systems
Yanjun Wen, Ji Wang, Zhichang Qi
Lecture Notes in Computer Science 3407, 2005, pp. 204-219
Minimal spanning set for coverage testing of interactive systems
Fevzi Belli, Christof J. Budnik
Lecture Notes in Computer Science 3407, 2005, pp. 220-234
An approach to integration testing based on data flow specifications
Yuting Chen, Shaoying Liu, Fumiko Nagoya
Lecture Notes in Computer Science 3407, 2005, pp. 235-249
Combining algebraic and model-based test case generation
Li Dan, Bernhard K. Aichernig
Lecture Notes in Computer Science 3407, 2005, pp. 250-264
Verifying OWL and ORL ontologies in PVS
Jin Song Dong, Yuzhang Feng, Yuan Fang Li
Lecture Notes in Computer Science 3407, 2005, pp. 265-279
Symbolic and parametric model checking of discrete-time Markov chains
Conrado Daws
Lecture Notes in Computer Science 3407, 2005, pp. 280-294
Verifying linear duration constraints of timed automata
Pham Hong Thai, Dang Van Hung
Lecture Notes in Computer Science 3407, 2005, pp. 295-309
Idempotent relations in Isabelle/HOL
Florian Kammüller, J.W. Sanders
Lecture Notes in Computer Science 3407, 2005, pp. 310-324
Program verification using automatic generation of invariants'
Enric Rodríguez-Carbonell, Deepak Kapur
Lecture Notes in Computer Science 3407, 2005, pp. 325-340
Random generators for dependent types
Peter Dybjer, Qiao Haiyan, Makoto Takeyama
Lecture Notes in Computer Science 3407, 2005, pp. 341-355

Seiten 1 2 >