Sciweavers

128 search results - page 9 / 26
» The Deep Green concept
Sort
View
ERCIMDL
1999
Springer
110views Education» more  ERCIMDL 1999»
15 years 2 months ago
Integrating Ontologies and Thesauri to Build RDF Schemas
In this paper we present a new approach for building RDF schemas by integrating existing ontologies and structured vocabularies (thesauri). We will present a simple mechanism base...
Bernd Amann, Irini Fundulaki
MKM
2009
Springer
15 years 2 months ago
Formal Proof: Reconciling Correctness and Understanding
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
Cristian S. Calude, Christine Müller
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
15 years 5 months ago
Towards a Procedural Model for Sustainable Information Systems Management
The increasing economical, ecological and social significance of information systems (IS) demands reorientation for IS management. Ever-growing energy consumption, waste streams, ...
Nils-Holger Schmidt, Koray Erek, Lutz Kolbe, R&uum...
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
15 years 3 months ago
The Modelling of Embedded Systems Using HASoC
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
M. D. Edwards, P. N. Green
DELTA
2002
IEEE
15 years 3 months ago
Smart Antenna Software Radio Test System
This paper covers the concept, architecture, development and demonstration of a Smart Antenna Software Radio Test System (SASRATS). SASRATS was designed and developed as a functio...
Peter J. Green, Desmond P. Taylor