1606 search results - page 172 / 322 » XML-based programming language modeling: An approach to soft... |
179
click to vote
COMSWARE
2006
IEEE
16 years 14 hour ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
159
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
150
click to vote
MODELS
2007
Springer
16 years 2 days ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
126
click to vote
KBSE
2007
IEEE
16 years 7 days ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
151
click to vote
ACSAC
2007
IEEE
16 years 9 days ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...