Sciweavers

1034 search results - page 165 / 207
» Formalization of Web Design Patterns Using Ontologies
Sort
View
SEMWEB
2004
Springer
15 years 5 months ago
Metadata-Driven Personal Knowledge Publishing
We propose a personal knowledge publishing system called Semblog is realized with integration of Semantic Web techniques and Weblog tools. Semblog suite provides an integrated envi...
Ikki Ohmukai, Hideaki Takeda, Masahiro Hamasaki, K...
115
Voted
TPCG
2003
IEEE
15 years 5 months ago
Developing a Global Repository and Showplace for Imagery Data
This working in progress paper describes the development of a web service that provides a 3D (VRML) virtual environment for automated management and exhibition of imagery data. Wi...
Ann Smith, Min Chen, Mike F. Webster
105
Voted
DAC
1994
ACM
15 years 4 months ago
Error Diagnosis for Transistor-Level Verification
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
Andreas Kuehlmann, David Ihsin Cheng, Arvind Srini...
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 1 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
P2PKM
2004
15 years 1 months ago
Ontology-based Service Discovery in P2P Networks
The ubiquitous computing vision is to make knowledge and services easily available in our everyday environments. A wide range of devices, applications and services can be intercon...
Daniel Elenius, Magnus Ingmarsson