Sciweavers

2930 search results - page 373 / 586
» A Constructive Approach to the Design of Distributed Systems
Sort
View
HICSS
2005
IEEE
127views Biometrics» more  HICSS 2005»
16 years 5 days ago
Enterprise Architecture Analysis with XML
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
Frank S. de Boer, Marcello M. Bonsangue, Joost Jac...
CGVR
2006
15 years 8 months ago
Extensible Interface Using Projector-Based Augmentation
- This paper describes our design and implementations of projector-based computer augmented environment that allows users to interchange digital information between a computer and ...
Sang Heon Han, Jung Hoon Kim, Tae Soo Yun, Dong Ho...
IEEECIT
2010
IEEE
15 years 5 months ago
Application of Concept Maps-based Anchored Instruction in Programming Course
—In need of interesting material and effective teaching approach in programming learning, students were ely to drop out of the course for the abstract concepts and complex struct...
Liu Li, Haijun Mao, Licheng Xu
SBIA
2010
Springer
15 years 5 months ago
High-Level Modeling of Component-Based CSPs
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduc...
Raphaël Chenouard, Laurent Granvilliers, Rica...
TASE
2009
IEEE
16 years 1 months ago
Fault-Based Test Case Generation for Component Connectors
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
Bernhard K. Aichernig, Farhad Arbab, Lacramioara A...