448 search results - page 85 / 90 » A Meta-Method for Formal Method Integration |
85
Voted
BMCBI
2007
14 years 11 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
193
click to vote
SIGMOD
2009
ACM
15 years 12 months ago
2009
ACM
Ontology matching, aiming to obtain semantic correspondences between two ontologies, has played a key role in data exchange, data integration and metadata management. Among numero...
164
click to vote
SIGMOD
2007
ACM
15 years 11 months ago
2007
ACM
Increasing monitoring of transactions, environmental parameters, homeland security, RFID chips and interactions of online users rapidly establishes new data sources and applicatio...
89
Voted
SIGMOD
2001
ACM
15 years 11 months ago
2001
ACM
Over the last decades, improvements in CPU speed have outpaced improvements in main memory and disk access rates by orders of magnitude, enabling the use of data compression techn...
CIKM
2007
Springer
15 years 5 months ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...