檢索結果 - interface composition processing programmed constructs https

1

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /

出版 2008

書本目錄: “... Support for Dynamics Patterns to Static Business Process Management Systems -- Service Composition...”
獲取全文

電子電子書

2

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference...

出版 2007

書本目錄: “... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”
獲取全文

電子電子書

3

Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM...

出版 2006

書本目錄: “...Workshop on Business Process Design (BPD 2006) -- Preface -- Designing Compliant Business Processes...”
獲取全文

電子電子書

4

Computers and Education: Towards Educational Change and Innovation

出版 2008

書本目錄: “... Exhibition to Knowledge Construction -- Taking Advantage of the Web in the Portuguese Class: An Experience...”
獲取全文

電子電子書

5

Advances in Multimedia Information Processing - PCM 2006 7th Pacific Rim Conference on Multimedia, Hangzhou, China, November 2-4, 2006, Proceedings /

出版 2006

書本目錄: “... for Sketch Retrieval Based on Linear Programming Classification -- Hierarchical Motion-Compensated Frame...”
獲取全文

電子電子書

6

Robotic Fabrication in Architecture, Art and Design 2014

出版 2014

主題: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
獲取全文

電子電子書

7

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS 2005 /

出版 2006

書本目錄: “... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...”
獲取全文

電子電子書

8

Digital Libraries: Achievements, Challenges and Opportunities 9th International Conference on Asian Digial Libraries, ICADL 2006, Kyoto, Japan, November 27-30, 2006, Proceedings /

出版 2006

書本目錄: “...Keynote and Invited Talks -- The Age of Content and Knowledge Processing -- Cyber Science...”
獲取全文

電子電子書

9

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

出版 2005

書本目錄: “... for Security and Trust -- A Formal Security Analysis of an OSA/Parlay Authentication Interface -- Composition...”
獲取全文

電子電子書

10

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

出版 2005

書本目錄: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
獲取全文

電子電子書

11

Enterprise Information Systems V

出版 2005

書本目錄: “... E-Commerce Enterprise Systems -- Extending Groupware for OLAP -- XML-Based OLAP Query Processing...”
獲取全文

電子電子書

12

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part I /

出版 2010

書本目錄: “... to Construct State Registries–Matching Undeniability with Public Security -- Data Warehouses and Data Mining...”
獲取全文

電子電子書

13

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai,China, September 16-20, 2007 /

出版 2007

書本目錄: “... Composition -- A Speech-Controlled User Interface for a CAFM-Based Disaster Management System -- Private Data...”
獲取全文

電子電子書

14

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

出版 2008

書本目錄: “... Service Compositions Using VxBPEL -- Abstract Reachability Graph for Verifying Web Service Interfaces...”
獲取全文

電子電子書

15

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

出版 2010

書本目錄: “... and BioMoby Plug-Ins -- Workflow Construction for Service-Oriented Knowledge Discovery -- Workflow Composition...”
獲取全文

電子電子書

16

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

出版 2005

書本目錄: “... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”
獲取全文

電子電子書

17

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

出版 2005

書本目錄: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
獲取全文

電子電子書

18

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

出版 2007

書本目錄: “...-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML...”
獲取全文

電子電子書

19

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

出版 2007

書本目錄: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
獲取全文

電子電子書

20

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

由 Spear, Chris., Spear, Chris.
出版 2008

書本目錄: “... and Design -- 4.2 The Interface Construct -- 4.3 Stimulus Timing -- 4.4 Interface Driving and Sampling -- 4.5...”
獲取全文

電子電子書

縮小搜索