373 search results - page 58 / 75 » Empowering Software Development Environments by Automatic So... |
133
click to vote
AFRICACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
We present the first simple power analysis (SPA) of software implementations of KeeLoq. Our attack drastically reduces the efforts required for a complete break of remote keyless...
102
click to vote
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
129
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
118
click to vote
CASES
2005
ACM
15 years 3 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
133
click to vote
CONSTRAINTS
2011
14 years 8 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...