19367 search results - page 3418 / 3874 » Fine-Grain Process Modelling |
222
click to vote
FASE
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
174
click to vote
FPL
2004
Springer
16 years 8 days ago
2004
Springer
This paper presents the Customisable Modular Platform (CMP) approach. The aim is to accelerate FPGA application developraising the level of abstraction and facilitating design reus...
204
click to vote
GRID
2004
Springer
16 years 8 days ago
2004
Springer
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
179
click to vote
HYBRID
2004
Springer
16 years 8 days ago
2004
Springer
Some high speed color printers require that the sheets be accurately controlled in order to achieve a precise alignment of colors. To accomplish this goal a steerable nips mechanis...
145
click to vote
ICA
2004
Springer
16 years 8 days ago
2004
Springer
The analysis and characterization of atrial tachyarrhythmias requires the previous estimation of the atrial activity (AA) free from any ventricular activity and other artefacts. Th...