5434 search results - page 265 / 1087 » Semantic information portals |
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
ISTA
2008
13 years 10 months ago
2008
Abstract. Integration is one of the pivotal concepts with respect to analyzing, designing and evaluating information systems. Integrating software components as well as integrating...
BIS
2009
13 years 9 months ago
2009
Since the Internet found its way into daily life, placing product information at the user's disposal has become one of its most important tasks. As information sources are ver...
GISCIENCE
2008
Springer
13 years 9 months ago
2008
Springer
While similarity has gained in importance in research about information retrieval on the (geospatial) semantic Web, information retrieval paradigms and their integration into exist...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
CODECRAWLER (in the remainder of the text CC) is a language independent, interactive, information visualization tool. It is mainly targeted at visualizing object-oriented software...