700 search results - page 77 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
112
click to vote
POPL
2000
ACM
15 years 5 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
106
click to vote
INTERACT
2007
15 years 3 months ago
2007
Nowadays, everyday life is becoming a multi-platform environment where people are surrounded by different types of devices through which they can connect to networks in different w...
121
click to vote
ICALT
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper challenges current practices in the use of digital media to communicate Australian Aboriginal knowledge practices in a learning context. It proposes that any digital re...
112
click to vote
BMCBI
2002
15 years 1 months ago
2002
Background: SeqHound has been developed as an integrated biological sequence, taxonomy, annotation and 3-D structure database system. It provides a high-performance server platfor...
126
Voted
WWW
2002
ACM
16 years 2 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...