Søgeresultater - interfaces interaction programming programming contracts https

Søg alternativer:
programming programming » programming programmed , programming program
interaction programming » interactive programming , integration programming , interactions reprogramming
interfaces interaction » interfaces interactions , interface interactions , interface integration
programming contracts » programming contract , programming constructs , programming constraints
https » http

Computers and Education: Towards Educational Change and Innovation

Udgivet 2008

Indholdsfortegnelse: “... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
Få fuldtekst

Electronisk eBog

Coordination, Organizations, Institutions, and Norms in Agent Systems V COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, U...

Udgivet 2010

Indholdsfortegnelse: “... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
Få fuldtekst

Electronisk eBog

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Udgivet 2005

Indholdsfortegnelse: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
Få fuldtekst

Electronisk eBog

Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”
Få fuldtekst

Electronisk eBog

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France,...

Udgivet 2006

Indholdsfortegnelse: “... File Transfer During Deployment, Execution, and Retrieval -- A Parallel Data Storage Interface...”
Få fuldtekst

Electronisk eBog

Controlled Natural Language Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers /

Udgivet 2010

Indholdsfortegnelse: “... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
Få fuldtekst

Electronisk eBog

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /

Udgivet 2007

Indholdsfortegnelse: “... -- Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping -- SketchiXML: A...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... for Document-Driven Workflow Systems -- Service Interaction Patterns -- Industrial Papers -- Modeling...”
Få fuldtekst

Electronisk eBog

Information Systems Development Asian Experiences /

Udgivet 2011

Indholdsfortegnelse: “... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”
Få fuldtekst

Electronisk eBog

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Architecture into the Semantic Web -- RDFS Reasoning and Query Answering on Top of DHTs -- An Interface-Based...”
Få fuldtekst

Electronisk eBog

Web Information Systems and Technologies Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers /

Udgivet 2008

Indholdsfortegnelse: “...Invited Papers -- Programming Support and Governance for Process-Oriented Software Autonomy...”
Få fuldtekst

Electronisk eBog

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Udgivet 2007

Indholdsfortegnelse: “... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”
Få fuldtekst

Electronisk eBog

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Deductive Systems for RDF -- Semantic Web Services -- Web Service Contracting: Specification and Reasoning...”
Få fuldtekst

Electronisk eBog

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”
Få fuldtekst

Electronisk eBog

Digital Enterprise Technology Perspectives and Future Challenges /

Udgivet 2007

Indholdsfortegnelse: “... And Component Clusters -- Constraint Programming Approach To Designing Conflict-Free Schedules For Repetitive...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning