Sciweavers

15636 search results - page 431 / 3128
» Modelling by supersaturated designs
Sort
View
ADAEUROPE
2010
Springer
15 years 5 months ago
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
Juan A. Pastor, Diego Alonso, Pedro Sánchez...
ECMDAFA
2010
Springer
138views Hardware» more  ECMDAFA 2010»
15 years 5 months ago
A UML 2.0 Profile to Model Block Cipher Algorithms
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
Tomás Balderas-Contreras, Gustavo Rodr&iacu...
ICSE
2005
IEEE-ACM
16 years 7 months ago
Fluent-based web animation: exploring goals for requirements validation
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. Th...
Robert Chatley, Sebastián Uchitel, Jeff Kra...
AIED
2009
Springer
16 years 2 months ago
Fostering engaged and directed learning by activity foregrounding and backgrounding
We propose a design model for guiding learning in exploratory environments through representational choices. Selecting the appropriate representations at the correct granularity ca...
Katherine Howland, Benedict du Boulay, Judith Good
DATE
2005
IEEE
100views Hardware» more  DATE 2005»
16 years 1 months ago
DPA on Quasi Delay Insensitive Asynchronous Circuits: Formalization and Improvement
The purpose of this paper is to formally specify a flow devoted to the design of Differential Power Analysis (DPA) resistant QDI asynchronous circuits. The paper first proposes a ...
G. Fraidy Bouesse, Marc Renaudin, Sophie Dumont, F...