Models and Principles.
Overview
Works: | 188 works in 188 publications in 188 languages |
---|
Titles
Systems and virtualization management = standards and new technologies : second international workshop, SVM 2008, Munich, Germany, October 21-22, 2008, proceedings /
by:
(Electronic resources)
CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings /
by:
(Electronic resources)
The Common Component Modeling Example = Comparing Software Component Models /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
by:
(Electronic resources)
Evolution of 3G networks = the concept, architecture and realization of mobile networks beyond UMTS /
by:
(Electronic resources)
Engineering Theories of Software Intensive Systems = Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 /
by:
(Electronic resources)
Representation and management of narrative information = theoretical principles and implementation /
by:
(Electronic resources)
Learning classifier systems = 10th international workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th international workshop, IWLCS 2007, London, UK, July 8, 2007 : revised selected papers /
by:
(Electronic resources)
Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering /
by:
(Electronic resources)
Coordination models and languages = 12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings /
by:
(Electronic resources)
Languages and compilers for parallel computing = 23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers /
by:
(Electronic resources)
Languages and compilers for parallel computing = 22nd international workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009 : revised selected papers /
by:
(Electronic resources)
Nano-Net = Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, revised selected papers /
by:
(Electronic resources)
Languages and Compilers for Parallel Computing = 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers /
by:
(Electronic resources)
Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /
by:
(Electronic resources)
Cognitive behavioural systems = COST 2102 International Training School, Dresden, Germany, February 21-26, 2011 : revised selected papers /
by:
(Electronic resources)
Business processes for business communities = modeling languages, methods, tools /
by:
(Electronic resources)
Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings /
by:
(Electronic resources)
Spatial information theory = 10th international conference, COSIT 2011, Belfast, ME, USA, September 12-16, 2011 : proceedings /
by:
(Electronic resources)
Objects, Components, Models and Patterns = 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /
by:
(Electronic resources)
Engineering secure software and systems = second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings /
by:
(Electronic resources)
Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers /
by:
(Electronic resources)
Spatial information theory = 9th international conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009 : proceedings /
by:
(Electronic resources)
Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers /
by:
(Electronic resources)
Queueing theory for telecommunications = discrete time modelling of a single node system /
by:
(Electronic resources)
Advances in Computational Intelligence = 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings.. Part II /
by:
(Electronic resources)
Requirements engineering, foundation for software quality = 15th International Working Conference, REFSQ 2009, Amsterdam, the Netherlands, June 8-9, 2009 : proceedings /
by:
(Electronic resources)
Rule interchange and applications = international symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5 - 7, 2009 : proceedings /
by:
(Electronic resources)
The challenge of anticipation = a unifying framework for the analysis and design of artificial cognitive systems /
by:
(Electronic resources)
Computer performance engineering = 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings /
by:
(Electronic resources)
Nano-Net = 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009 : proceedings /
by:
(Electronic resources)
Algorithmic game theory = 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings /
by:
(Electronic resources)
A Software Process Model Handbook for Incorporating People's Capabilities
by:
(Electronic resources)
Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings /
by:
(Electronic resources)
Objects, components, models and patterns = 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 : proceedings /
by:
(Electronic resources)
Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings /
by:
(Electronic resources)
Technology Enhanced Learning = IFIP TC3 Technology Enhanced Learning Workshop (TeL-04), World Computer Congress, August 22-27, 2004, Toulouse, France /
by:
(Electronic resources)
Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers /
by:
(Electronic resources)
Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings /
by:
(Electronic resources)
Coordination models and languages = 11th International Conference, COORDINATION 2009 Lisbon, Portugal, June 9-12, 2009 : proceedings /
by:
(Electronic resources)
Enterprise architecture at work = modelling, communication and analysis /
by:
(Electronic resources)
Bio-inspired systems : computational and ambient intelligence = 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009 : proceedings, Part I /
by:
(Electronic resources)
The semantic web = Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4-7, 2011 : proceedings /
by:
(Electronic resources)
Enterprise, business-process and information systems modeling = 10th International Workshop, BPMDS 2009 and 14th International Conference, EMMSAD 2009 held at CAiSE 2009 Amsterdam, The Netherlands, June 8-9, 2009 : proceedings /
by:
(Electronic resources)
Formal modeling and analysis of timed systems = 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings /
by:
(Electronic resources)
Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(Electronic resources)
Software architecture = second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings /
by:
(Electronic resources)
Industrial Applications of Semantic Web = Proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25-27, 2005, Jyvaskyla, Finland /
by:
(Electronic resources)
Conceptual modelling and its theoretical foundations = essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday /
by:
(Electronic resources)
On the mathematics of modelling, metamodelling, ontologies and modelling languages
by:
(Electronic resources)
Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part II /
by:
(Electronic resources)
Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
(Electronic resources)
Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings /
by:
(Electronic resources)
Shaping the future of ICT research = methods and approaches : IFIP WG 8.2, Working Conference, Tampa, FL, USA, December 13-14, 2012 : proceedings /
by:
(Electronic resources)
Argumentation in multi-agent systems = fifth international workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers /
by:
(Electronic resources)
Languages, methodologies, and development tools for multi-agent systems = second international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 : revised selected papers /
by:
(Electronic resources)
Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /
by:
(Electronic resources)
Languages, methodologies, and development tools for multi-agent systems = third international workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010 : revised selected papers /
by:
(Electronic resources)
Algorithmic game theory = third international symposium, SAGT 2010, Athens, Greece, October 18-20, 2010 : proceedings /
by:
(Electronic resources)
Algorithmic game theory = 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012 : proceedings /
by:
(Electronic resources)
Formal Aspects in Security and Trust = IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France /
by:
(Electronic resources)
Rewriting logic and its applications = 8th international workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers /
by:
(Electronic resources)
Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
by:
(Electronic resources)
Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings /
by:
(Electronic resources)
Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems
by:
(Electronic resources)
Distributed user interfaces = designing interfaces for the distributed ecosystem /
by:
(Electronic resources)
Interactive 3D multimedia content = models for creation, management, search and presentation /
by:
(Electronic resources)
Advances in machine learning = First Asian Conference on Machine Learning, ACML 2009, Nanjing, China, November 2-4, 2009 : proceedings /
by:
(Electronic resources)
Practical aspects of design science = European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers /
by:
(Electronic resources)
Rough sets and knowledge technology = 4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings /
by:
(Electronic resources)
Unconventional computation = 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings /
by:
(Electronic resources)
Collaborative Networks and Their Breeding Environments = IFIP TC5 WG 5.5 Sixth IFIP Working Conference on VIRTUAL ENTERPRISES, 26-28 September, 2005, Valencia, Spain /
by:
(Electronic resources)
Agile service development = combining adaptive methods and flexible solutions /
by:
(Electronic resources)
Graph drawing = 17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers /
by:
(Electronic resources)
Form-Oriented Analysis = A New Methodology to Model Form-Based Applications /
by:
(Electronic resources)
Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings /
by:
(Electronic resources)
Conceptual Modeling - ER 2005 : = 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings
by:
(Electronic resources)
Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers /
by:
(Electronic resources)
Formal foundations of reuse and domain engineering = 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings /
by:
(Electronic resources)
Uncertainty reasoning for the semantic web I = ISWC international workshops, URSW 2005-2007 : revised selected and invited papers /
by:
(Electronic resources)
Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings /
by:
(Electronic resources)
Algorithmic learning theory = 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009 : proceedings /
by:
(Electronic resources)
Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings /
by:
(Electronic resources)
Security Management, Integrity, and Internal Control in Information Systems = IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference /
by:
(Electronic resources)
Advances in artificial intelligence - IBERAMIA 2008 = 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008 : proceedings /
by:
(Electronic resources)
System Modeling and Optimization = Proceedings of the 21st IFIP TC7 Conference held in July 21-25, 2003, Sophia Antipolis, France /
by:
(Electronic resources)
Learning and intelligent optimization = third international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers /
by:
(Electronic resources)
Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
(Electronic resources)
Rule representation, interchange and reasoning on the web = international symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008 : proceedings /
by:
(Electronic resources)
Rewriting logic and its applications = 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers /
by:
(Electronic resources)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(Electronic resources)
Classification and Modeling with Linguistic Information Granules = Advanced Approaches to Linguistic Data Mining /
by:
(Electronic resources)
Spatial Information Theory : = International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings
by:
(Electronic resources)
Advances in computation and intelligence = third international symposium, ISICA 2008 Wuhan, China, December 19-21, 2008, proceedings /
by:
(Electronic resources)
Innovations for requirements analysis :from stakeholders' needs to formal designs = 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers /
by:
(Electronic resources)
Incomplete information system and rough set theory = models and attribute reductions /
by:
(Electronic resources)
A practical guide to brain-computer interfacing with BCI2000 = general-purpose software for brain-computer interface research, data acquisition, stimulus presentation, and brain monitoring /
by:
(Electronic resources)
Network and parallel computing = IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008 : proceedings /
by:
(Electronic resources)
Computational collective intelligence = semantic web, social networks and multiagent systems : first International Conference, ICCCI 2009, Wrocaw, Poland, October 5-7, 2009 : proceedings /
by:
(Electronic resources)
Declarative agent languages and technologies VII = 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers /
by:
(Electronic resources)
Fundamentals of software engineering = third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers /
by:
(Electronic resources)
Declarative agent languages and technologies IX = 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011 : revised selected and invited papers /
by:
(Electronic resources)
Haptic and audio interaction design = 7th international conference, HAID 2012, Lund, Sweden, August 23-24, 2012 : proceedings /
by:
(Electronic resources)
Computational Intelligence and Intelligent Systems = 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings /
by:
(Electronic resources)
Advances in computational intelligence = 11th International Work-Conference on Artificial Neural Networks, IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings.. Part I /
by:
(Electronic resources)
Artificial Intelligence Applications and Innovations = IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7-9, 2005, Beijing, China /
by:
(Electronic resources)
Conceptual modeling - ER 2008 = 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008 : proceedings /
by:
(Electronic resources)
Component-based software engineering = 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings /
by:
(Electronic resources)
Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part I /
by:
(Electronic resources)
Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
(Electronic resources)
Testing software and systems = 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings /
by:
(Electronic resources)
Enterprise Architecture at Work = Modelling, Communication, and Analysis /
by:
(Electronic resources)
Declarative Agent Languages and Technologies VIII = 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers /
by:
(Electronic resources)
The semantic Web = fourth Asian conference, ASWC 2009, Shanghai, China, December 6-9, 2009 : proceedings /
by:
(Electronic resources)
Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers /
by:
(Electronic resources)
Transactions on computational science IX = special issue on voronoi diagrams in science and engineering /
by:
(Electronic resources)
Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
by:
(Electronic resources)
Algorithmic game theory = second international symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings /
by:
(Electronic resources)
Computational logic in multi-agent systems = b9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers /
by:
(Electronic resources)
Artificial intelligence : theories, models and applications = 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings /
by:
(Electronic resources)
The evolution of conceptual modeling = from a historical perspective towards the future of conceptual modeling /
by:
(Electronic resources)
Software Process Improvement = 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
by:
(Electronic resources)
Coordination models and languages = 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings /
by:
(Electronic resources)
Engineering secure software and systems = third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings /
by:
(Electronic resources)
Information from processes = about the nature of information creation, use, and representation /
by:
(Electronic resources)
Show more
Fewer
Subjects