2212 search results - page 239 / 443 » Automated software wrapping |
135
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Bit vectors and bit operations are proposed for efficient propositional inference. Bit arithmetic has efficient software and hardware implementations, which can be put to advantage...
169
click to vote
COSIT
2009
Springer
16 years 14 days ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
136
click to vote
FDTC
2007
Springer
16 years 2 days ago
2007
Springer
Branch Prediction Analysis has been recently proposed as an attack method to extract the key from software implementations of the RSA public key cryptographic algorithm. In this p...
155
Voted
RULEML
2007
Springer
16 years 14 hour ago
2007
Springer
Nowadays the increasing complexity of cars has become a major challenge due to the growing rate of electronic components and software. This trend has an impact on all phases of the...
153
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of c...