73 search results - page 15 / 15 » 25 Years of Applications of Logic Programming in Italy |
DAC
1997
ACM
13 years 8 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
CASES
2010
ACM
13 years 2 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...
ECOOPW
1997
Springer
13 years 8 months ago
1997
Springer
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...