9166 search results - page 103 / 1834 » A framework for comparing models of computation |
SRDS
2007
IEEE
14 years 3 months ago
2007
IEEE
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
EDOC
2005
IEEE
14 years 2 months ago
2005
IEEE
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
AHS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper gives an overview over the progress that has been made by the Heidelberg FPTA group within the field of analog evolvable hardware. Achievements are the design of a CMOS...
ZUM
2000
Springer
14 years 25 days ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
IMCSIT
2010
13 years 4 months ago
2010
SyMGiza++ -- a tool that computes symmetric word alignment models with the capability to take advantage of multi-processor systems -- is presented. A series of fairly simple modifi...