„programming model“

Suchergebnisse

4.625 Treffer

• Declarative agent languages and technologies VIII – 8th international workshop ; revised selected and invited papers
  Omicini, Andrea ; Sardina, Sebastian ; Vasconcelos, Wamberto 2011 Springer
• Model checking and artificial intelligence – 6th international workshop ; revised selected and invited papers
  Van der Meyden, Ron ; Smaus, Jan 2011 Springer
• Linear algebra for economists
  Aleskerov, Fuad T. ; Ersel, Hasan ; Piontkovski, Dmitri 2011 Springer
• Logic-based program synthesis and transformation – 20th international symposium ; revised selected papers
  Alpuente, María 2011 Springer
• Nearly optimal bounds for distributed wireless scheduling in the SINR model
  Halldórsson, Magnús M. ; Mitra, Pradipta
• Reusing OCL in the definition of imperative languages
  Büttner, Fabian 2011 Logos-Verl.
• Genetic programming – 14th European conference ; proceedings
  Silva, Sara ; Foster, James A. ; Nicolau, Miguel ; Machado, Penousal ; Giacobini, Mario 2011 Springer
• Formalization of the classification pattern: survey of classification modeling in information systems engineering
  Partridge, Chris ; de Cesare, Sergio ; Mitchell, Andrew ; Odell, James
• A Genetic Algorithm approach to motion sensor placement in smart environments
  Thomas, Brian L. ; Crandall, Aaron S. ; Cook, Diane J.
• Semantic analysis and verification of context-driven adaptive applications in intelligent environments
  Preuveneers, Davy ; Joosen, Wouter
• Putting the agent in agent-based modeling
  Wellman, Michael P.
• Foundations of software science and computational structures – 14th international conference ; proceedings
  Hofmann, Martin 2011 Springer
• Fundamental approaches to software engineering – 14th international conference ; proceedings
  Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer
• Theory and practice of algorithms in (computer) systems – first international ICST conference ; proceedings
  Marchetti-Spaccamela, Alberto ; Segal, Michael 2011 Springer
• Programming languages and systems – proceedings
  Barthe, Gilles 2011 Springer
• The Application of a Water Rights Trading Model Based on two-Stage Interval-Parameter Stochastic Programming
  Fu, Qiang ; Zhao, Ke ; Liu, Dong ; Jiang, Qiuxiang ; Li, Tianxiao ; Zhu, Changhong
• Software language engineering – third international conference ; revised selected papers
  Malloy, Brian ; Staab, Steffen ; Brand, Mark van den 2011 Springer
• Development Planning – Principles and Techniques Practiced
  Ashagrie, Ermias 2011 VDM Verlag Dr. Müller
• A model-driven approach for usability engineering of interactive systems
  Ammar, Lassaad Ben ; Trabelsi, Abdelwaheb ; Mahfoudhi, Adel
• Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing
  Coutinho, Ana Emília Victor Barbosa ; Cartaxo, Emanuela Gadelha ; Machado, Patrícia Duarte de Lima