858 search results - page 172 / 172 » Abstract Interpretation Based Verification of Logic Programs |
LOBJET
2006
13 years 4 months ago
2006
ABSTRACT. Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reu...
SEMWEB
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
RSP
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...