Sciweavers

3104 search results - page 92 / 621
» Competence-Based EE-Learning: (How) Can We Implement It
Sort
View
DATE
2006
IEEE
98views Hardware» more  DATE 2006»
15 years 10 months ago
Test generation for combinational quantum cellular automata (QCA) circuits
— In this paper, we present a test generation framework for testing of quantum cellular automata (QCA) circuits. QCA is a nanotechnology that has attracted significant recent at...
Pallav Gupta, Niraj K. Jha, Loganathan Lingappan
159
Voted
RTCSA
2006
IEEE
15 years 10 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
AOSD
2007
ACM
15 years 8 months ago
ATOLL: aspect-oriented toll system
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...
Luis Daniel Benavides Navarro, Christa Schwanninge...
DAGSTUHL
2006
15 years 6 months ago
Towards UML Modelling Extra-Functional Properties in Web Services and their Clients
Web Services provide our systems with a platform independent and loosely coupled implementation environment, being time to face how the named systems can be modelled. Service Compo...
Guadalupe Ortiz, Juan Hernández
CORR
2011
Springer
185views Education» more  CORR 2011»
14 years 11 months ago
Sound and Complete Query Answering in Intensional P2P Data Integration
Contemporary use of the term ’intension’ derives from the traditional logical doctrine that an idea has both an extension and an intension. In this paper we introduce an intens...
Zoran Majkic