Search Results - interface specification processing programming comparing https

Search alternatives:
specification processing » specification process , specification processes , solidification processing
interface specification » service specification
processing programming » processing programmed , processing programs , passing programming
programming comparing » programming comparison , programming component , programming computation
comparing https » computing https , comparing hst , comparing things

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010, Proceedings /

Published 2010

Table of Contents: “... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”
View full text

Electronic eBook

Usability and Internationalization. Global and Local User Interfaces Second International...

Published 2007

Table of Contents: “... for Facilitating eBay Transactions Using Skype -- Localization in Korea of User Interface of the 3G Mobile Handset...”
View full text

Electronic eBook

Business Process Management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... of Models: From Abstract Views to Concrete Specifications -- Flexible Business Process Management Using...”
View full text

Electronic eBook

Natural Language Processing and Information Systems 15th International Conference on Applications...

Published 2010

Table of Contents: “... -- Conceptual Modeling of Online Entertainment Programming Guide for Natural Language Interface -- Integration...”
View full text

Electronic eBook

Intelligent Tutoring Systems 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... -- Comparing Knowledge Tracing and Performance Factor Analysis by Using Multiple Model Fitting Procedures...”
View full text

Electronic eBook

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, f...

Published 2005

Table of Contents: “... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications....”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Specifications for a Document Management Assistant -- Towards a Spatial-Temporal Processing Model -- Structure...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
View full text

Electronic eBook

Information Systems Development Towards a Service Provision Society /

Published 2010

Table of Contents: “... Information Systems Architecture and Reuse -- Designing Cognition-adaptive Human Computer Interface...”
View full text

Electronic eBook

Location- and Context-Awareness Second International Workshop, LoCA 2006, Dublin, Ireland, May 10-11, 2006, Proceedings /

Published 2006

Table of Contents: “... of Location-Aware Service for Popular Mobile Phones -- A Wearable Interface for Topological Mapping...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...: an Ambassador Driven Process in Distributed Software Companies -- An Equivalence Theorem for the Specification...”
View full text

Electronic eBook

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Published 2008

Table of Contents: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
View full text

Electronic eBook

Software Services for e-World 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010, Proceedings /

Published 2010

Table of Contents: “... for Delivery of Personalized Services -- Mobile Interfaces for Building Control Surveyors -- Session 2: e...”
View full text

Electronic eBook

Advances in Web Based Learning - ICWL 2008 7th International Conference, Jinhua, China, August 20-22, 2008, Proceedings /

Published 2008

Table of Contents: “... Process Specification -- A Method to Find Learner’s Key Characteristic in Wed-Based Learning -- Computer...”
View full text

Electronic eBook

Web Engineering 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Fine-Grained Specification and Control of Data Flows in Web-Based User Interfaces -- Authoring Multi...”
View full text

Electronic eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... in Embedded Systems -- System Design and Modeling -- Interface Overheads in Embedded Multimedia Software -- A...”
View full text

Electronic eBook

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Session 1B: Methodologies and Architectures for Application-Specific Systems -- Design of an Efficient...”
View full text

Electronic eBook

Narrow Search