2213 search results - page 393 / 443 » Software Security |
129
click to vote
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
Interest on using mobile autonomous agents has been growing, recently, due to their capacity to cooperate for diverse purposes, from rescue to demining and security. However, such ...
120
click to vote
MATA
2004
Springer
15 years 5 months ago
2004
Springer
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
These notes have the status of letters written to ourselves: we wrote them down because, without doing so, we found ourselves making rguments over and over again. So began the abs...
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...