9732 search results - page 1803 / 1947 » Modelling Adaptivity with Aspects |
130
click to vote
FDTC
2006
Springer
15 years 8 months ago
2006
Springer
With physical attacks threatening the security of current cryptographic schemes, no security policy can be developed without taking into account the physical nature of computation....
113
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
147
click to vote
GCC
2006
Springer
15 years 8 months ago
2006
Springer
Legacy program execution system, which is necessary for Grid to enable users to reuse all legacy programs without reengineering source codes, is still an open problem. We propose ...
130
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This paper introduces a novel analogy with the way in which honeybee colonies operate in order to solve the problem of sparse and quasi dense reconstruction. To successfully solve...
115
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...