Rezultati - service specification ((program program) OR (programs program)) constrained https

1

Distributed Programming Theory and Practice /

od Shankar, A. Udaya., Shankar, A. Udaya.
Izdano 2013

Kazalo: “... for Time-Constrained Programs -- Lock using Peterson's Algorithm -- Lock using the Bakery Algorithm...”
Polni tekst

Elektronski eKnjiga

2

Linear Programming Foundations and Extensions /

od Vanderbei, Robert J., Vanderbei, Robert J.
Izdano 2014

Kazalo: “... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Polni tekst

Elektronski eKnjiga

3

Linear Programming Foundations and Extensions /

od Vanderbei, Robert J., Vanderbei, Robert J.
Izdano 2008

Kazalo: “... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Polni tekst

Elektronski eKnjiga

4

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Izdano 2013

Kazalo: “... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”
Polni tekst

Elektronski eKnjiga

5

Genetic Programming Theory and Practice V

Izdano 2008

Kazalo: “...Genetic Programming: Theory and Practice -- Better Solutions Faster: Soft Evolution of Robust...”
Polni tekst

Elektronski eKnjiga

6

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Izdano 2010

Kazalo: “... Adaptive IT Service Support Processes Using Meta-modeling Technologies -- Modeling a Resource-Constrained...”
Polni tekst

Elektronski eKnjiga

7

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers /

Izdano 2006

Kazalo: “...: Early Deployment and Customization of Java Systems for Constrained Devices -- Typed Compilation Against...”
Polni tekst

Elektronski eKnjiga

8

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /

Izdano 2010

Kazalo: “...The Metrô Rio ATP Case Study -- Practical Issues with Formal Specifications -- Formal Analysis...”
Polni tekst

Elektronski eKnjiga

9

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Izdano 2005

Kazalo: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Polni tekst

Elektronski eKnjiga

10

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Izdano 2008

Kazalo: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Polni tekst

Elektronski eKnjiga

11

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del...

Izdano 2007

Kazalo: “... -- Specification and Verification of Institutions Through Status Functions -- NORMATIVE MODELS AND ISSUES...”
Polni tekst

Elektronski eKnjiga

12

TEXPLORE: Temporal Difference Reinforcement Learning for Robots and Time-Constrained Domains

od Hester, Todd., Hester, Todd.
Izdano 2013

Kazalo: “...Introduction -- Background and Problem Specification -- Real Time Architecture -- The TEXPLORE...”
Polni tekst

Elektronski eKnjiga

13

Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings /

Izdano 2012

Kazalo: “...Research Papers -- Service Engineering 1 -- Specification and Detection of SOA Antipatterns...”
Polni tekst

Elektronski eKnjiga

14

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Izdano 2008

Kazalo: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Polni tekst

Elektronski eKnjiga

15

Service-Oriented Computing - ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings /

Izdano 2007

Kazalo: “... of Semantic Web Services Using Constraint Programming -- Architectural Decisions and Patterns...”
Polni tekst

Elektronski eKnjiga

16

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

Izdano 2010

Kazalo: “... with Adaptable OS Services -- Efficient Mutation-Analysis Coverage for Constrained Random Verification -- Code...”
Polni tekst

Elektronski eKnjiga

17

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Izdano 2008

Kazalo: “... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”
Polni tekst

Elektronski eKnjiga

18

Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays /

Izdano 2007

Kazalo: “...: The Industrial Uptake of Formal Methods -- Proving Theorems About JML Classes -- Specification for Testing...”
Polni tekst

Elektronski eKnjiga

19

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers /

Izdano 2007

Kazalo: “... Systems -- Organization Oriented Programming: From Closed to Open Organizations -- Analysis, Design...”
Polni tekst

Elektronski eKnjiga

20

Critical Infrastructure Protection IV Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010...

Izdano 2010

Kazalo: “... and Vulnerabilities in Constrained Environments -- Assessing the Economic Loss and Social Impact of Information System...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje