Sciweavers

1726 search results - page 184 / 346
» Traits: Tools and Methodology
Sort
View
FDTC
2009
Springer
104views Cryptology» more  FDTC 2009»
14 years 5 months ago
Low Voltage Fault Attacks on the RSA Cryptosystem
—Fault injection attacks are a powerful tool to exploit implementative weaknesses of robust cryptographic algorithms. The faults induced during the computation of the cryptograph...
Alessandro Barenghi, Guido Bertoni, Emanuele Parri...
FM
2009
Springer
171views Formal Methods» more  FM 2009»
14 years 5 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
MODELS
2009
Springer
14 years 4 months ago
Teaching Object-Oriented Modeling and UML to Various Audiences
This paper summarizes the experience of teaching objectoriented modeling and UML for more than a decade to various audiences (academic or corporate, software developers or not). W...
Sabine Moisan, Jean-Paul Rigault
PRIMA
2009
Springer
14 years 4 months ago
Gaia Agents Implementation through Models Transformation
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
Nikolaos I. Spanoudakis, Pavlos Moraitis
COMPSAC
2008
IEEE
14 years 4 months ago
Dealing with the Crosscutting Structure of Software Architectural Styles
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
Sam Malek