Sciweavers

15644 search results - page 222 / 3129
» Brittle System Analysis
Sort
View
IEEEARES
2010
IEEE
15 years 11 months ago
Formal Specification and Analysis of an E-voting System
Komminist Weldemariam, Richard A. Kemmerer, Adolfo...
DATE
1999
IEEE
100views Hardware» more  DATE 1999»
15 years 11 months ago
The Rugby Model: A Conceptual Frame for the Study of Modelling, Analysis and Synthesis Concepts of Electronic Systems
We propose a conceptual framework, called the Rugby Model, in which designs, design processes and design tools can be studied. It is an extension of the Y chart and adds two dimen...
Axel Jantsch, Shashi Kumar, Ahmed Hemani
FCCM
1998
IEEE
115views VLSI» more  FCCM 1998»
15 years 11 months ago
Analysis of the XC6000 Architecture for Embedded System Design
Karlheinz Weiß, Ronny Kistner, Arno Kunzmann...
HCW
1998
IEEE
15 years 11 months ago
Modular Heterogeneous System Development: A Critical Analysis of Java
Java supports heterogeneous applications by transforming a heterogeneous network of machines into a homogeneous network of Java virtual machines. This abstracts over many of the c...
Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. ...