1
Por Shankar, A. Udaya., Shankar, A. Udaya.
Publicado em 2013
Sumário: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2005
Sumário: ...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2005
Sumário: ... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2006
Sumário: ... of Deterministic Blocks in Java PathFinder -- Tools -- A Tool for a Formal Pattern Modeling Language -- An Open...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2005
Sumário: ... Study -- Model Checking Real Time Java Using Java PathFinder -- Infinite-State and Parameterized Systems...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2007
Sumário: ... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2013
Sumário: ... Web Services Composition -- Software Process Improvement in small companies as a path to Enterprise...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2007
Sumário: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2010
Sumário: ... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2005
Sumário: ... Paths Between XML Documents Using Sequential Patterns -- Web Information Systems Development -- Using...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2013
Sumário: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Obter o texto integral
Recurso Electrónico livro electrónico