|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 50 occurrences of 28 keywords
|
|
|
|
|
Results
Found 46 publication records. Showing 46 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hai H. Wang, Nick Gibbins, Terry R. Payne, Domenico Redavid |
A formal model of the Semantic Web Service Ontology (WSMO).  |
Inf. Syst.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Zhang, Qigang Gao, Hai H. Wang, Hua Wang |
Detecting anomalies from high-dimensional wireless network data streams: a case study. |
Soft Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Sun 0002, Hai H. Wang, Tianming Hu |
Design Software Architecture Models using Ontology. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jing Sun 0002, Hai H. Wang, Hui Gu |
Semantic Enabled Sensor Network Design. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Kershaw, Qigang Gao, Hai H. Wang |
Anomaly-Based Network Intrusion Detection Using Outlier Subspace Analysis: A Case Study. |
Canadian Conference on AI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Danica Damljanovic, Jing Sun 0002 |
Enhanced Semantic Access to Formal Software Models. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dong Liu, Qigang Gao, Hai H. Wang, Ji Zhang |
A Web-based Interactive Data Visualization System for Outlier Subspace Analysis. |
SEDE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hai H. Wang, Jing Sun 0002 |
A semantic web environment for components. |
Knowledge Eng. Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Zhang, Qigang Gao, Hai H. Wang, Qing Liu, Kai Xu 0003 |
Detecting Projected Outliers in High-Dimensional Data Streams. |
DEXA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Scott Uk-Jin Lee, Hai H. Wang |
Verifying Semistructured Data Normalization Using SWRL. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Zhang, Qigang Gao, Hai H. Wang |
Discover gene specific local co-regulations from time-course gene expression data. |
Scientific Programming |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Hai H. Wang |
Specifying and Verifying Event-Based Fairness Enhanced Systems. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Zhang, Qigang Gao, Hai H. Wang |
SPOT: A System for Detecting Projected Outliers From High-dimensional Data Streams. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Zhang, Qigang Gao, Hai H. Wang |
Anomaly detection in high-dimensional network data streams: A case study. |
ISI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun 0001 |
A Formal Model of Semantic Web Service Ontology (WSMO) Execution. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Yuan-Fang Li, Jing Sun 0002, Hongyu Zhang, Jeff Z. Pan |
Verifying feature models using OWL. |
J. Web Sem. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Ahmed Saleh, Terry R. Payne, Nick Gibbins |
Formal Specification of OWL-S with Object-Z: the Static Aspect. |
Web Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Terry R. Payne, Nick Gibbins, Ahmed Saleh |
Formal Specification of OWL-S with Object-Z: The Dynamic Aspect. |
WISE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun 0001 |
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO). |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuzhang Feng, Yuan-Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa, Hai H. Wang |
Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
BAF, BOWL, Semantic Web, OWL, confidence, ignorance |
| 1 | Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song Dong |
Realizing Live Sequence Charts in SystemVerilog. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Zhang, Hai H. Wang |
Detecting outlying subspaces for high-dimensional data: the new task, algorithms, and performance. |
Knowl. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Outlying subspace, Dynamic subspace search, Outlier detection, High-dimensional data |
| 1 | Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Hai H. Wang, Jun Sun 0001 |
Reasoning About ORA-SS Data Models Using the Semantic Web. |
J. Data Semantics |
2006 |
DBLP DOI BibTeX RDF |
ORA-SS, Semantic Web, Formal Verification, Semistructured Data, Ontology Web Language |
| 1 | Hai H. Wang, Jin Song Dong, Jing Sun 0002, Jun Sun 0001 |
Reasoning support for Semantic Web ontology family languages using Alloy. |
Multiagent and Grid Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ji Zhang, Qigang Gao, Hai H. Wang |
A Novel Method for Detecting Outlying Subspaces in High-dimensional Databases Using Genetic Algorithm. |
ICDM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ji Zhang, Qigang Gao, Hai H. Wang |
Discover Gene Specific Local Co-regulations Using Progressive Genetic Algorithm. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Jun Sun 0001, Hai H. Wang |
Validating Semistructured Data Using OWL. |
WAIM |
2006 |
DBLP DOI BibTeX RDF |
Semantic Web, Formal Verification, OWL, Semistructured Data |
| 1 | Jing Sun 0002, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik |
SVG Web Environment for Z Specification Language. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
Z formal specification language, Web based tool support, Scalable Vector Graphics |
| 1 | Jun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun 0002 |
Visualizing and Simulating Semantic Web Services Ontologies. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
Play-Engine, Semantic Web Services, OWL-S, LSC |
| 1 | Hai H. Wang, Yuan-Fang Li, Jing Sun 0002, Hongyu Zhang |
Verify Feature Models using protegeowl. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, OWL, feature modeling |
| 1 | Wei Wang, Ji Zhang, Hai H. Wang |
Grid-ODF: Detecting Outliers Effectively and Efficiently in Large Multi-dimensional Databases. |
CIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Jin Song Dong, Jing Sun 0002, Yuan-Fang Li |
TCOZ Approach to OWL-S Process Model Design. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hai H. Wang, Jin Song Dong, Jing Sun 0002 |
Reasoning Support for SWRL-FOL Using Alloy. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jing Sun 0002, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang |
Formal Semantics and Verification for Feature Modeling. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Feature Oriented Domain Analysis, Z/EVES, Formal Verification, Feature Modeling, Domain Engineering, Alloy |
| 1 | Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang |
A combined approach to checking web ontologies. |
WWW |
2004 |
DBLP DOI BibTeX RDF |
racer, ontologies, semantic web, z, alloy, daml+oil |
| 1 | Jin Song Dong, Yuan-Fang Li, Hai H. Wang |
TCOZ approach to semantic web services design. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
semantic web, formal methods, DAML-S, DAML+OIL, TCOZ |
| 1 | Ji Zhang, Meng Lou, Tok Wang Ling, Hai H. Wang |
HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data. |
VLDB |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang |
Verifying DAML+OIL and Beyond in Z/EVES. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Checking and Reasoning about Semantic Web through Alloy. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Semantic Web, Alloy |
| 1 | Jin Song Dong, Jun Sun 0001, Hai H. Wang, Chew Hung Lee, Hian Beng Lee |
Analysing Web Ontology in Alloy: A Military Case Study. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
A Formal Object Approach to the Design of ZML. |
Ann. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Z Approach to Semantic Web. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Semantic Web, Z |
| 1 | Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang |
XML-Based Static Type Checking and Dynamic Visualization for TCOZ. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
TCOZ tool support, XML/XSL, UML/XMI |
| 1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Semantic Web for Extending and Linking Formalisms. |
FME |
2002 |
DBLP DOI BibTeX RDF |
specification environment, Semantic Web |
| 1 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
An XML/XSL Approach to Visualize and Animate TCOZ. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
specification animation, XML/XSL, UML, Formal methods, XMI, TCOZ, Oz |
| 1 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
Object-Z web environment and projections to UML. |
WWW |
2001 |
DBLP DOI BibTeX RDF |
XML/XSL/XMI, XML, UML, UML, WEB, object-Z |
Displaying result #1 - #46 of 46 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")