2004 search results - page 140 / 401 » Comparison of Model Checking Tools for Information Systems |
126
click to vote
NGITS
1995
Springer
15 years 8 months ago
1995
Springer
TSIMMIS—TheStanford-IBMManagerofMultipleInformationSources—isasystemforintegrating information. It offers a data model and a common query language that are designed to support ...
169
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
Understanding and maintenance of complex information spaces is often supported through visual interfaces. These interfaces must be highly flexible in order to adapt to both the u...
137
Voted
SENSYS
2006
ACM
15 years 11 months ago
2006
ACM
Science is increasingly driven by data collected automatically from arrays of inexpensive sensors. The collected data volumes require a different approach from the scientists'...
155
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Many attempts are being made to understand biological subjects at a systems level. A major resource for these approaches are biological databases, storing manifold inf...
156
click to vote
BTW
2007
Springer
15 years 9 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 ...