Sciweavers

3376 search results - page 406 / 676
» Analyzing Software Evolvability
Sort
View
FDTC
2007
Springer
124views Cryptology» more  FDTC 2007»
16 years 27 days ago
Countermeasures against Branch Target Buffer Attacks
Branch Prediction Analysis has been recently proposed as an attack method to extract the key from software implementations of the RSA public key cryptographic algorithm. In this p...
Giovanni Agosta, Luca Breveglieri, Gerardo Pelosi,...
HYBRID
2007
Springer
16 years 27 days ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur
ICCSA
2007
Springer
16 years 27 days ago
An Effective Visualization and Analysis Method for Edge Measurement
The terminology burr defines undesirable result of plastic deformation formed in machining process causing degradation of the accuracy and functionality of the product and its asse...
Andrey Toropov
KI
2007
Springer
16 years 26 days ago
Using UML for Knowledge Engineering - A Critical Overview
Abstract The paper analyzes UML, the well known software engineering tool, from the knowledge engineering perspective. The goal of the paper is to evaluate UML as the possible desi...
Grzegorz J. Nalepa, Igor Wojnicki
MODELS
2007
Springer
16 years 26 days ago
A Generic Approach for Automatic Model Composition
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
Franck Fleurey, Benoit Baudry, Robert B. France, S...