Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

(Keywords)Web services

Subject

Browse all works related to (Keywords)Web services.

Home
Subject
(Keywords)Web services

"21" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation

fromLecture Notes in Computer Science

0 Type: Book

1
2

Subjects

(Keywords)Web services (21) (Zielgruppe)Research (20) (Produktform)Paperback / soft… (17) (Keywords)social networks (6) (Keywords)cloud computing (5) (Keywords)data mining (5) (Keywords)model checking (5) (Keywords)semantic Web (5) (VLB-WN)1636: Hardcover, Soft… (5) Web services (5) (Keywords)approximation algor… (4) (Keywords)fuzzy expert system (4) (Keywords)knowledge discovery (4) (Keywords)pervasive computing (4) (Keywords)probabilistic metho… (4) (Keywords)e-commerce (3) (Keywords)embedded systems (3) (Keywords)real-time systems (3) (Keywords)timed automata (3) (Keywords)verification (3) Informationssystem (3) Mehragentensystem (3) Serviceorientierte Architektur (3) World Wide Web (3) (Keywords)Business Models (2) (Keywords)Business Networks (2) (Keywords)Collaboration (2) (Keywords)Crowdsourcing (2) (Keywords)Pricing Auctions (2) (Keywords)Pricing Strategies (2) (Keywords)SOA (2) (Keywords)SVN - Service Value… (2) (Keywords)SaaS - Software as … (2) (Keywords)Service Composition (2) (Keywords)UML (2) (Keywords)User Interfaces (2) (Keywords)Web graph (2) (Keywords)Web-based framework (2) (Keywords)Workflow (2) (Keywords)business process mo… (2) (Keywords)classification (2) (Keywords)colored petri nets (2) (Keywords)concept Web (2) (Keywords)constraints (2) (Keywords)distributed systems (2) (Keywords)formal analysis (2) (Keywords)formal methods (2) (Keywords)formal modeling (2) (Keywords)formal semantics (2) (Keywords)formal verification (2) (Keywords)meta-tools (2) (Keywords)ontology (2) (Keywords)optimization (2) (Keywords)prototyping (2) (Keywords)real-time embedded … (2) (Keywords)requirements models (2) (Keywords)scientific workflows (2) (Keywords)security (2) (Keywords)software processes (2) (Keywords)systems analysis (2) (Keywords)systems modeling (2) (Keywords)theorem proving (2) (Keywords)ubiquitous computing (2) (Keywords)ubiquitous networki… (2) (Keywords)validation (2) (Keywords)wireless sensor net… (2) (Produktform)Electronic book … (2) (Produktform)Hardback (2) Anwendungssystem (2) Computer Science (2) Electronic Data Processing (2) Geschäftsmodell (2) Informatique (2) Management information systems (2) Mehrwertnetz (2) Sektorale Preisbildung (2) Systèmes d'information de ges… (2) Verteiltes System (2) data processing (2) (Keywords)Algebraic Specifica… (1) (Keywords)BPEL (1) (Keywords)Business Process Ma… (1) (Keywords)Collaborative Busin… (1) (Keywords)Conceptual Modeling (1) (Keywords)Cryptography (1) (Keywords)E-Government (1) (Keywords)Maude (1) (Keywords)OWL (1) (Keywords)Recommender Systems (1) (Keywords)SLA - Service-Level… (1) (Keywords)SOA - Service-Orien… (1) (Keywords)SOA - service-orien… (1) (Keywords)Service Design (1) (Keywords)Service Engineering (1) (Keywords)Web Mining (1) (Keywords)Web interfaces (1) (Keywords)Web technologies (1) (Keywords)Web-based informati… (1) (Keywords)adaptive systems (1) (Keywords)agent to non-agent … (1) (Keywords)aspect-oriented met… (1) (Keywords)automata (1) (Keywords)automated verificat… (1) (Keywords)automatic translati… (1) (Keywords)behavioral specific… (1) (Keywords)botnet detection (1) (Keywords)bounded model check… (1) (Keywords)case analysis (1) (Keywords)combined domain (1) (Keywords)component-based sys… (1) (Keywords)constraint automata (1) (Keywords)decision procedure (1) (Keywords)e-Business (1) (Keywords)equational theory (1) (Keywords)event mining (1) (Keywords)evolutionary algori… (1) (Keywords)first order logic (1) (Keywords)formatl verification (1) (Keywords)genetic algorithms (1) (Keywords)graph partitioning (1) (Keywords)grid networks (1) (Keywords)human agent interac… (1) (Keywords)information extract… (1) (Keywords)information protect… (1) (Keywords)lightweight formal … (1) (Keywords)model-driven develo… (1) (Keywords)network clustering (1) (Keywords)network-on-chip (1) (Keywords)open systems (1) (Keywords)parameterised verif… (1) (Keywords)performance analysis (1) (Keywords)process algebra (1) (Keywords)program analysis (1) (Keywords)program verificatio… (1) (Keywords)recommendation syst… (1) (Keywords)reinforcement learn… (1) (Keywords)reverse engineering (1) (Keywords)rewrite theory (1) (Keywords)safety-critical sys… (1) (Keywords)satisfiability (1) (Keywords)security requiremen… (1) (Keywords)semantics (1) (Keywords)service science (1) (Keywords)social network secu… (1) (Keywords)software maintenance (1) (Keywords)software quality (1) (Keywords)spam detection (1) (Keywords)statis program anal… (1) (Keywords)structural induction (1) (Keywords)symmetry reduction (1) (Keywords)temporal logic (1) (Keywords)web intelligence (1) (VLB-WN)1632: Hardcover, Soft… (1) (VLB-WN)1635: Hardcover, Soft… (1) (Zielgruppe)Professional/prac… (1) Abfrage (1) Autonomic Computing (1) Benutzerorientierung (1) Business -- Data processing (1) Computer networks (1) Computer networks -- Congress… (1) Data Mining (1) Dienstgüte (1) Dienstleistungssektor (1) Digital computer simulation (1) E-Government (1) Electronic commerce (1) Empfehlungssystem (1) Entscheidungsverfahren (1) Formale Methode (1) Gestion -- Informatique (1) Information systems (1) Intelligence artificielle (1) Leistungsbewertung (1) Logic design (1) Management -- Data processing (1) Microeconomics (1) Microéconomie (1) Model Checking (1) Netzwerktopologie (1) Ontologie (1) Organic Computing (1) Parallelverarbeitung (1) Programmanalyse (1) Programmverifikation (1) Rechnernetz (1) Réseaux d'ordinateurs -- Cong… (1) Semantic Web (1) Services Web (1) Simulation (1) Simulation par ordinateur (1) Social Tagging (1) Softwareentwicklung (1) Softwaretest (1) Soziale Software (1) Structure logique (1) Suchverfahren (1) Trusted Computing (1) Web-Intelligent-System (1) artificial intelligence (1) computer simulation (1) information retrieval (1)

Contributor

Blau, Benjamin (2) Conte, Tobias (2) Filipova-Neumann, Lilia (2) LADS, Lyon (2) Meinl, Thomas (2) Michalk, Wibke (2) Weinhardt, Christof (2) ATC, Banff, Alberta (1) CN, Ustroń (1) Facca, Federico Michele (1) Fensel, Dieter (1) IESS, Genf (1) International Conference on F… (1) International Conference on P… (1) MATES, Berlin (1) Simperl, Elena (1) Toma, Ioan (1) WEBIST, Valencia (1) WISE, Hongkong (1)

Publisher

Springer (19) Springer Berlin Heidelberg (2)

Year

2011 (17) 2010 (4)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type