1
Udgivet 2010
Indholdsfortegnelse: ... -- Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements -- Early...
Få fuldtekst
Electronisk eBog
2
Udgivet 2015
Indholdsfortegnelse: ...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...
Få fuldtekst
Electronisk eBog
3
Udgivet 2006
Indholdsfortegnelse: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Få fuldtekst
Electronisk eBog
4
Udgivet 2010
Indholdsfortegnelse: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Få fuldtekst
Electronisk eBog
5
6
Udgivet 2006
Indholdsfortegnelse: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
Få fuldtekst
Electronisk eBog
7
Udgivet 2006
Indholdsfortegnelse: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ... with Inheritance -- Case Study on Model Transformation, and Tool Support by AGG -- Case Study on Model...
Få fuldtekst
Electronisk eBog
9
Udgivet 2010
Indholdsfortegnelse: ... Case Study of a Customer Satisfaction Problem: Bootstrap and Imputation Techniques -- Comparison...
Få fuldtekst
Electronisk eBog
10
Indholdsfortegnelse: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ... -- Intelligent Grids -- Programming and Process -- A Grid Software Process -- Grid Programming with Java, RMI...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
Få fuldtekst
Electronisk eBog
13
Udgivet 2014
Indholdsfortegnelse: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
Få fuldtekst
Electronisk eBog
14
Udgivet 2006
Indholdsfortegnelse: ... on BE-Vector Clustering -- Deriving Event Relevance from the Ontology Constructed with Formal Concept Analysis...
Få fuldtekst
Electronisk eBog
15
Udgivet 2010
Indholdsfortegnelse: ... Decisions -- BeeEye: A Framework for Constructing Architectural Views -- Facilitating the Selection...
Få fuldtekst
Electronisk eBog
16
Udgivet 2005
Indholdsfortegnelse: ... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...
Få fuldtekst
Electronisk eBog
17
Udgivet 2008
Indholdsfortegnelse: ...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ...Invited Paper -- Stereo-Vision-Support for Intelligent Vehicles - The Need for Quantified Evidence...
Få fuldtekst
Electronisk eBog
19
Udgivet 2007
Indholdsfortegnelse: ... Research Approach -- Community Structure, Individual Participation and the Social Construction of Merit...
Få fuldtekst
Electronisk eBog
20
Udgivet 2010
Indholdsfortegnelse: ... Program Context: Lessons from Four Case Studies -- New Technologies, Learning Systems, and Communication...
Få fuldtekst
Electronisk eBog