Suchergebnisse - services computing programming programmed contract nets

Andere Suchmöglichkeiten:
programming programmed » processing programmed
computing programming » computer programming , computers programming
programmed contract » programme contract , programming contract , programming contracts
services computing » server computing , services computer , service computer
contract nets » contract net , contract need , contract new

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /

Veröffentlicht 2013

Inhaltsangabe: “... Parameter Learning for Markov Logic Networks Using Bayes Nets -- Bounded Least General Generalization...”
Volltext

Elektronisch E-Book

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Veröffentlicht 2006

Inhaltsangabe: “... Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination...”
Volltext

Elektronisch E-Book

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... to Achieve Predictability of Service Execution -- Aggregate Quality of Service Computation for Composite...”
Volltext

Elektronisch E-Book

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
Volltext

Elektronisch E-Book

Transactions on Petri Nets and Other Models of Concurrency IX

Veröffentlicht 2014

Inhaltsangabe: “... Private Key Generation by Composing Petri Nets -- Software Engineering with Petri Nets: A Web Service...”
Volltext

Elektronisch E-Book

Web Services and Formal Methods Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... -- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool...”
Volltext

Elektronisch E-Book

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Veröffentlicht 2005

Inhaltsangabe: “... and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services....”
Volltext

Elektronisch E-Book

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Veröffentlicht 2005

Inhaltsangabe: “... Infrastructure and a Service Level Agreement Negotiation Protocol for Robust Scheduling in Grid Computing...”
Volltext

Elektronisch E-Book

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Petri Nets -- Recursive Timed Automata -- Probabilistic Contracts for Component-Based Design -- Tool...”
Volltext

Elektronisch E-Book

Accelerated C# 2008

von Nash, Trey., Nash, Trey.
Veröffentlicht 2007

Inhaltsangabe: “... and Contracts -- Overloading Operators -- Exception Handling and Exception Safety -- Working with Strings...”
Volltext

Elektronisch E-Book

Accelerated C# 2010

von Nash, Trey., Nash, Trey.
Veröffentlicht 2010

Inhaltsangabe: “... and Contracts -- Overloading Operators -- Exception Handling and Exception Safety -- Working with Strings...”
Volltext

Elektronisch E-Book

Real World Windows 8 Development

von Basu, Samidip., Basu, Samidip.
Veröffentlicht 2013

Schlagworte: “...Microsoft .NET Framework....”
Volltext

Elektronisch E-Book

Real World Windows 8 App Development with JavaScript Create Great Windows Store Apps /

von Moemeka, Edward., Moemeka, Edward., Lomasky, Elizabeth.
Veröffentlicht 2013

Schlagworte: “...Microsoft .NET Framework....”
Volltext

Elektronisch E-Book

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
Volltext

Elektronisch E-Book

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”
Volltext

Elektronisch E-Book

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... with Coordination Time Delays -- Compensable WorkFlow Nets -- Automatically Testing Web Services Choreography...”
Volltext

Elektronisch E-Book

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “...Invited Papers -- Automatic Requirement Extraction from Test Cases -- Code Contracts for .NET...”
Volltext

Elektronisch E-Book

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Volltext

Elektronisch E-Book

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Volltext

Elektronisch E-Book

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...”
Volltext

Elektronisch E-Book

Suche einschränken