12774 search results - page 2231 / 2555 » A Framework for Proof Systems |
156
click to vote
OTM
2007
Springer
16 years 29 days ago
2007
Springer
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...
205
click to vote
OTM
2007
Springer
16 years 29 days ago
2007
Springer
The content of image archives changes rapidly. This makes the traditional separation of ontology development and image annotation steps no longer feasible. In this paper, we presen...
196
click to vote
PPDP
2007
Springer
16 years 29 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
183
click to vote
SEKE
2007
Springer
16 years 29 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
191
click to vote
VLDB
2007
ACM
16 years 29 days ago
2007
ACM
Damia is a lightweight enterprise data integration service where line of business users can create and catalog high value data feeds for consumption by situational applications. D...