Filter your results
- 31
- 30
- 1
- 1
- 31
- 18
- 11
- 2
- 31
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.150-163, ⟨10.1007/978-3-642-28038-2_12⟩
Conference papers
hal-01527378v1
|
||
|
The Semantics of Role-Based Trust Management Languages4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.179-189, ⟨10.1007/978-3-642-28038-2_14⟩
Conference papers
hal-01527385v1
|
||
|
Scalable Store of Java Objects Using Range Partitioning4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.84-93, ⟨10.1007/978-3-642-28038-2_7⟩
Conference papers
hal-01527389v1
|
||
|
Information Systems Development Based on Visual Domain Specific Language BiLingva4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.124-135, ⟨10.1007/978-3-642-28038-2_10⟩
Conference papers
hal-01527381v1
|
||
|
Applying of Smart Technologies: Evaluation of Effectiveness4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.193-201, ⟨10.1007/978-3-642-28038-2_15⟩
Conference papers
hal-01527380v1
|
||
|
Integration of Application Business Logic and Business Rules with DSL and AOP4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.30-39, ⟨10.1007/978-3-642-28038-2_3⟩
Conference papers
hal-01527379v1
|
||
|
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.136-149, ⟨10.1007/978-3-642-28038-2_11⟩
Conference papers
hal-01527384v1
|
||
|
Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.109-123, ⟨10.1007/978-3-642-28038-2_9⟩
Conference papers
hal-01527382v1
|
||
|
Towards Decision Centric Repository of Architectural Knowledge4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.3-15, ⟨10.1007/978-3-642-28038-2_1⟩
Conference papers
hal-01527386v1
|
||
|
Construction of Messaging-Based Enterprise Integration Solutions Using AI Planning4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.16-29, ⟨10.1007/978-3-642-28038-2_2⟩
Conference papers
hal-01527394v1
|
||
|
HTCPNs–Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.97-108, ⟨10.1007/978-3-642-28038-2_8⟩
Conference papers
hal-01527395v1
|
||
|
Dataflow Testing of Java Programs with DFC4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.215-228, ⟨10.1007/978-3-642-28038-2_17⟩
Conference papers
hal-01527388v1
|
||
|
Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.229-242, ⟨10.1007/978-3-642-28038-2_18⟩
Conference papers
hal-01527392v1
|
||
|
Query Processing Using Negative and Temporal Tuples in Stream Query Engines4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.70-83, ⟨10.1007/978-3-642-28038-2_6⟩
Conference papers
hal-01527387v1
|
||
|
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.164-178, ⟨10.1007/978-3-642-28038-2_13⟩
Conference papers
hal-01527383v1
|
||
|
Bi-criteria Test Suite Reduction by Cluster Analysis of Execution Profiles4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.243-256, ⟨10.1007/978-3-642-28038-2_19⟩
Conference papers
hal-01527390v1
|
||
|
Aspect-Oriented Change Realization Based on Multi-Paradigm Design with Feature Modeling4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.40-53, ⟨10.1007/978-3-642-28038-2_4⟩
Conference papers
hal-01527396v1
|
||
|
Reducing the Class Coupling of Legacy Code by a Metrics-Based Relocation of Class Members4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.202-214, ⟨10.1007/978-3-642-28038-2_16⟩
Conference papers
hal-01527393v1
|
||
|
The Broker2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.10-22, ⟨10.1007/978-3-642-19641-6_2⟩
Conference papers
hal-01572653v1
|
||
|
Using Gaze Data in Evaluating Interactive Visualizations2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.127-141, ⟨10.1007/978-3-642-19641-6_9⟩
Conference papers
hal-01572648v1
|
||
|
Fisheye Interfaces — Research Problems and Practical Challenges2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.76-91, ⟨10.1007/978-3-642-19641-6_6⟩
Conference papers
hal-01572655v1
|
||
|
Staying Focused: Highlighting-on-Demand as Situational Awareness Support for Groups in Multidisplay Environments2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.108-126, ⟨10.1007/978-3-642-19641-6_8⟩
Conference papers
hal-01572656v1
|
||
|
Human Aspects of Visualization2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.1-9, ⟨10.1007/978-3-642-19641-6_1⟩
Conference papers
hal-01572647v1
|
||
|
Visualization of Workaday Data Clarified by Means of Wine Fingerprints2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.92-107, ⟨10.1007/978-3-642-19641-6_7⟩
Conference papers
hal-01572650v1
|
||
|
Faceted Visual Exploration of Semantic Data2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.58-75, ⟨10.1007/978-3-642-19641-6_5⟩
Conference papers
hal-01572657v1
|
||
|
Giga-Scale Multiresolution Volume Rendering on Distributed Display Clusters2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.142-162, ⟨10.1007/978-3-642-19641-6_10⟩
Conference papers
hal-01572649v1
|
||
|
Comparing Different Layouts of Tag Clouds: Findings on Visual Perception2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.23-37, ⟨10.1007/978-3-642-19641-6_3⟩
Conference papers
hal-01572652v1
|
||
|
Teaching Visual Design as a Holistic Enterprise2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.163-172, ⟨10.1007/978-3-642-19641-6_11⟩
Conference papers
hal-01572654v1
|
||
|
The Personal Equation of Complex Individual Cognition during Visual Interface Interaction2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.38-57, ⟨10.1007/978-3-642-19641-6_4⟩
Conference papers
hal-01572651v1
|
||
|
On the Evolution of Component-based Software4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. ⟨10.1007/978-3-642-28038-2_5⟩
Conference papers
inria-00431436v1
|
- 1
- 2