3260 search results - page 224 / 652 » MYSEA Technology Demonstration |
190
click to vote
IJSWIS
2008
15 years 7 months ago
2008
Relational technology has shown to be very useful for scalable Semantic Web data management. Numerous researchers have proposed to use RDBMSs to store and query voluminous RDF dat...
221
click to vote
IJVR
2008
15 years 7 months ago
2008
The Web3D technologies make it possible to create Collaborative Virtual Environment (CVE) in the popular Internet, thus promoting the popularity of CVE scientific applications to b...
199
click to vote
IJAIT
2006
15 years 7 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
213
click to vote
COMCOM
2007
15 years 7 months ago
2007
Dense wavelength division multiplexing (DWDM) has become the dominant transport layer technology for next-generation backbone networks due to its unprecedented capacity scalabilit...
197
click to vote
IJCOMSYS
2006
15 years 7 months ago
2006
More and more applications in the Internet are requiring an intelligent service infrastructure to provide customized services. In this paper, we present an infrastructure, which c...