8094 search results - page 1530 / 1619 » Improvements in Formula Generalization |
DELOS
2004
14 years 11 months ago
2004
Databases and Grid computing are a good match. With the service orientation of Grid computing, the complexity of maintaining and integrating databases can be kept away from the act...
DAGSTUHL
2006
14 years 11 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
CATA
2003
14 years 11 months ago
2003
Within a few years, nearly every vehicle that General Motors (GM) manufactures will have a microcontroller network known as GMLAN. A few GM vehicles already have the GMLAN network...
DAIS
2003
14 years 11 months ago
2003
- Mobile agents have the ability to migrate through heterogeneous networks and execute at remote hosts. This ability can be exploited to improve the performance of agent based appl...
ISSA
2004
14 years 11 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...