166 search results - page 6 / 34 » Identifying State Transitions and their Functions in Source ... |
SCAM
2003
IEEE
15 years 2 months ago
2003
IEEE
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of th...
DAC
1999
ACM
15 years 1 months ago
1999
ACM
We present a methodology for the watermarking of synchronous sequential circuits that makes it possible to identify the authorship of designs by imposing a digital watermark on th...
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
VLSID
2004
IEEE
15 years 10 months ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
IPSN
2005
Springer
15 years 3 months ago
2005
Springer
— Event-driven programming is a popular paradigm for programming sensor nodes. It is based on the specification of actions (also known as event handlers) which are triggered by ...