Sciweavers

4126 search results - page 35 / 826
» Modelling Electronic Organizations
Sort
View
CODES
2006
IEEE
14 years 1 months ago
Yield prediction for architecture exploration in nanometer technology nodes: : a model and case study for memory organizations
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
Antonis Papanikolaou, T. Grabner, Miguel Miranda, ...
ATAL
2004
Springer
14 years 1 months ago
Contract Model for Agent Mediated Electronic Commerce
In Agent Mediated Electronic Commerce, autonomy of agents is an important property. On one hand, it has to be favored to make the agents able to determine and adapt their own goal...
Benjamin Gâteau, Djamel Khadraoui, Olivier B...
LCTRTS
2004
Springer
14 years 29 days ago
Modeling and simulating electronic textile applications
— This paper describes our experiences with a simulation environment for electronic textiles. This simulation environment, based upon Ptolemy, enables us to model a diverse range...
Thomas Martin, Mark T. Jones, Joshua Edmison, Tanw...
EURODAC
1994
IEEE
149views VHDL» more  EURODAC 1994»
13 years 11 months ago
A Graphical Approach to Analogue Behavioural Modelling
In order to master the growing complexity of analogue electronic systems, modelling and simulation of analogue hardware at various levels is absolutely necessary. This paper prese...
Vincent Moser, Pascal Nussbaum, Hans Peter Amann, ...
FAC
2008
67views more  FAC 2008»
13 years 7 months ago
Specification, proof, and model checking of the Mondex electronic purse using RAISE
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
Chris George, Anne Elisabeth Haxthausen