检索结果 - ((interface pattern) or (interface method)) processing programmed executions https

1

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

出版 2006

书本目录: “... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”
获取全文

电子电子书

2

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

书本目录: “... in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming...”
获取全文

电子电子书

3

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

出版 2015

书本目录: “... Tools Infrastructures -- Low-Overhead Detection of Memory Access Patterns and Their Time Evolution...”
获取全文

电子电子书

4

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent...

出版 2005

书本目录: “... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...”
获取全文

电子电子书

5

Times of Convergence. Technologies Across Learning Contexts Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 20...

出版 2008

书本目录: “... Distributed Ontological Approach as a Basis for Software in the Context of Academic Programs -- Systems...”
获取全文

电子电子书

6

Innovative Approaches for Learning and Knowledge Sharing First European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006, Proceedings /

出版 2006

书本目录: “...Keynotes -- From Clicks to Touches: Enabling Face-to-Face Shared Interface -- Innovating eLearning...”
获取全文

电子电子书

7

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

出版 2008

书本目录: “...Keynote -- The Challenges of Service Evolution -- Duality and Process Modeling -- Assigning...”
获取全文

电子电子书

8

Technology Enhanced Learning: Quality of Teaching and Educational Reform 1st International Conference, TECH-EDUCATION 2010, Athens, Greece, May 19-21, 2010. Proceedings /

出版 2010

书本目录: “... and Learning Process -- Computer Programming: Fail Fast to Learn Sooner -- Experiential Collaborative Learning...”
获取全文

电子电子书

9

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part I /

出版 2010

书本目录: “... Distributed System -- Comparison and Analysis of the Eye Pointing Methods and Applications -- Abstraction...”
获取全文

电子电子书

10

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

出版 2006

书本目录: “... Cluster Job Execution -- Glue Code Synthesis for Distributed Software Programming -- Interactive...”
获取全文

电子电子书

11

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

出版 2007

书本目录: “... Distributed Job Workflow Execution -- EPLAS: An Epistemic Programming Language for All Scientists...”
获取全文

电子电子书

12

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

出版 2007

书本目录: “... for Uncertainty Reduction in Microarray Gene Expression Pattern Analysis -- Application of Classification Methods...”
获取全文

电子电子书

13

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

出版 2010

书本目录: “... -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications...”
获取全文

电子电子书

14

Information Systems Development Towards a Service Provision Society /

出版 2010

书本目录: “...Designing Class Methods from Dataflow Diagrams -- On The Human, Organizational and Technical...”
获取全文

电子电子书

15

KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings /

出版 2008

书本目录: “... Programming Systems in a Higher-Order Framework -- High-Level Expectations for Low-Level Image Processing...”
获取全文

电子电子书

16

On the Move to Meaningful Internet Systems: OTM 2014 Workshops Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent...

出版 2014

书本目录: “... for Ennovations -- Managing the Execution of Business Processes -- On The Move Academy (OTMA) 2014 -- The 11th...”
获取全文

电子电子书

17

Service-Oriented Computing - ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings /

出版 2008

书本目录: “... Composition Based on Workflow Patterns -- Protocol-Based Web Service Composition -- Design and Implementation...”
获取全文

电子电子书

18

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

书本目录: “... Modeling on the Architectural Design Process -- An OpenGL-based Interface to 3D PowerPoint-like...”
获取全文

电子电子书

19

ENTERprise Information Systems, Part I International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part I /

出版 2010

书本目录: “... of Processes and Activities -- Towards a Systematic Service-oriented Requirements Engineering Process (S-SoRE...”
获取全文

电子电子书

20

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

出版 2007

书本目录: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
获取全文

电子电子书

缩小搜索