3342 search results - page 355 / 669 » Automating Abstract Interpretation |
190
Voted
WWW
2002
ACM
16 years 5 months ago
2002
ACM
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
137
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
The strength of GIS is in providing a rich data infrastructure for combining disparate data in meaningful ways by using a spatial arrangement (e.g., proximity). As a toolbox, a GI...
135
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
269
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
151
Voted
BTW
2007
Springer
15 years 8 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...