Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
communication programming » communications programming, communication programmed, communication programmes
programming programming » programming programmed, programming program
general communication » federal communications, gender communication, generation communication
programming contract » programming contracts, programming constructs, programming constraint
contract https » control https, conflict https, contract nets
communication programming » communications programming, communication programmed, communication programmes
programming programming » programming programmed, programming program
general communication » federal communications, gender communication, generation communication
programming contract » programming contracts, programming constructs, programming constraint
contract https » control https, conflict https, contract nets
1
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicado 2010
Table of Contents:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2010
Table of Contents:
“... Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2010
Table of Contents:
“... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2006
Table of Contents:
“...: Finding the Right Level of Generality -- Combining Normal Communication with Ontology Alignment -- Towards...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2006
Table of Contents:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2008
Table of Contents:
“... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... of Processes -- A Logic for True Concurrency -- A Theory of Design-by-Contract for Distributed Multiparty...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2010
Table of Contents:
“... for Distributed Shortest Paths and Its Experimental Evaluation -- Contraction of Timetable Networks with Realistic...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2005
Table of Contents:
“... -- Linear-Time Enumeration of Isolated Cliques -- Finding Shortest Non-separating and Non-contractible...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2006
Table of Contents:
“... -- Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner’s Contraction -- Best Student Paper 2006...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2005
Table of Contents:
“... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2010
Table of Contents:
“... in Planar Graphs -- On the Number of Spanning Trees a Planar Graph Can Have -- Contractions of Planar Graphs...”Ligazón do recurso
Electrónico
eBook
16
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
17
Publicado 2007
Table of Contents:
“... Contracts for Deployment on Alien Grids -- A Transparent Framework for Hierarchical Master-Slave Grid...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2005
Table of Contents:
“... -- Control Flow Analysis of UML 2.0 Sequence Diagrams -- Designing a Domain-Specific Contract Language: A...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2014
Table of Contents:
“... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2006
Table of Contents:
“...: Building a Transaction Framework for Contract-Driven, Service-Oriented Business Processes -- Securing Web...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- Seguinte »
- [2]