203 search results - page 21 / 41 » A Framework for Semantic Group Formation |
IFIP12
2004
13 years 10 months ago
2004
With the evolution of Web service technology, services will not only become increasingly sophisticated, but also move into the area of business-to-consumer and peer-to-peer interac...
FORMATS
2006
Springer
14 years 11 days ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
ESWS
2009
Springer
14 years 3 months ago
2009
Springer
This proposal explores the promotion of existing relational databases to Semantic Web Endpoints. It presents the benefits of ontologybased read and write access to existing relati...
BMCBI
2008
13 years 8 months ago
2008
Background: The most renowned biological ontology, Gene Ontology (GO) is widely used for annotations of genes and gene products of different organisms. However, there are shortcom...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...