Søgeresultater - integration functions programming decisions based tools*

Søg alternativer:
integration functions » integration functional , integrating functions , interactions functions
functions programming » functional programming , foundations programming , functions programmed
programming decisions » programming decision , programming design , programming session
decisions based » decision based , decisions cases , decisions basic
based tools » based tool , basic tools

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...”
Få fuldtekst

Electronisk eBog

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

Udgivet 2010

Indholdsfortegnelse: “... of Social Choice Functions -- Signatures for Assessment, Diagnosis and Decision-Making in Ageing -- A...”
Få fuldtekst

Electronisk eBog

Advances in Integrated and Sustainable Supply Chain Planning Concepts, Methods, Tools and Solution Approaches toward a Platform for Industrial Practice /

af Laínez-Aguirre, José Miguel., Laínez-Aguirre, José Miguel., Puigjaner, Luis.
Udgivet 2015

Indholdsfortegnelse: “... Operations and Product Development Decisions -- Linking Marketing and Supply Chain Planning Models...”
Få fuldtekst

Electronisk eBog

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”
Få fuldtekst

Electronisk eBog

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”
Få fuldtekst

Electronisk eBog

Towards the Internet of Services: The THESEUS Research Program

Udgivet 2014

Indholdsfortegnelse: “... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”
Få fuldtekst

Electronisk eBog

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Prediction of Business Process Model Quality Based on Structural Metrics -- Modelling Functional Requirements...”
Få fuldtekst

Electronisk eBog

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Framework for Integrating New Functionalities into Software Architectures -- Beyond ATAM: Architecture...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”
Få fuldtekst

Electronisk eBog

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Få fuldtekst

Electronisk eBog

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... for Dynamic Reconfiguration in Service-Oriented Architectures -- Integrating Requirements and Design Decisions...”
Få fuldtekst

Electronisk eBog

Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”
Få fuldtekst

Electronisk eBog

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project /

Udgivet 2008

Indholdsfortegnelse: “... -- Product Data Models -- Document Models -- Work Process Models -- Decision Models -- Integrated Application...”
Få fuldtekst

Electronisk eBog

Digital Enterprise Technology Perspectives and Future Challenges /

Udgivet 2007

Indholdsfortegnelse: “... -- Federative Factory Data Management An Approach Based Upon Service Oriented Architecture (Soa) -- Engineering...”
Få fuldtekst

Electronisk eBog

Advanced Techniques in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”
Få fuldtekst

Electronisk eBog

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “... Integrated Simulation Environment -- A Study on the Requirements for Designing Agent-Based Computer Generated...”
Få fuldtekst

Electronisk eBog

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags -- The Design of Core 2...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Identifying Clones in Functional Programs for Refactoring -- Management System Integration Supported...”
Få fuldtekst

Electronisk eBog

Handbook of Performability Engineering

Udgivet 2008

Indholdsfortegnelse: “... -- Six Sigma — Status and Trends -- Computer Based Robust Engineering -- Integrating a Continual...”
Få fuldtekst

Electronisk eBog

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Udgivet 2005

Indholdsfortegnelse: “... Transformations of Decision Diagrams -- A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning