183 search results - page 8 / 37 » Beyond Being There |
BIRTHDAY
2011
Springer
12 years 7 months ago
2011
Springer
The Web Ontology Language (OWL) has been developed and standardised by the World Wide Web Consortium (W3C). It is one of the key technologies underpinning the Semantic Web, but its...
FDL
2007
IEEE
14 years 2 months ago
2007
IEEE
Since its first release the system level language SystemC had a significant impact on various areas in VLSI-CAD. One remarkable benefit of SystemC lies in the of abstraction le...
PUC
2007
13 years 7 months ago
2007
Abstract More attention is being paid to the development of information and communication technologies (ICTs) that are sensitive to the needs of people in their homes. By studying ...
IADIS
2004
13 years 9 months ago
2004
The current World Wide Web is essentially a network of documents, a continuously evolving information universe. But the potential of internetworking goes far beyond information ac...
CADE
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...