| Title | Author Name | Vol. Issue NO. | Copy |
|
Preface
|
Dimitris Karagiannis and Zhi Jin
|
2010,4(1):1-2
|
|
|
Computational Complexity and Anytime Algorithm for Inconsistency Measurement
|
Yue Ma,Guilin Qi,Guohui Xiao,Pascal Hitzler and Zuoquan Lin
|
2010,4(1):3-21
|
|
|
Mapping Relational Databases to the Semantic Web with Original Meaning
|
Dmitry V. Levshin
|
2010,4(1):23-37
|
|
|
Web-Based Semantic Similarity: An Evaluation in the Biomedical Domain
|
David Sachez,Montserrat Batet and Aida Valls
|
2010,4(1):39-52
|
|
|
A Conceptual Approach for Data Integration in Business Analytics
|
Wilfried Grossmann
|
2010,4(1):53-67
|
|
|
The Online Market Observatory: A Domain Model Approach
|
Karl Anton Froeschl,Norbert Walchhofer and Milan Hronsky
|
2010,4(1):69-88
|
|
|
Exploiting Ontology for Software License Agreements
|
Muhammad Asfand-e-yar,Amin Anjomshoaa,Edgar R. Weippl and A Min Tjoa
|
2010,4(1):89-100
|
|
|
Modeling the Value-Based Software Process with Object-Petri-Nets
|
Liguo Huang,Jidong Ge,Barry Boehm and Jian Lv
|
2010,4(1):101-119
|
|
|
Preface
|
Tu Bao Ho,Zhi-Hua Zhou and Hiroshi Motoda
|
2009,3(1):1-2
|
|
|
State-Based Regression with Sensing and Knowledge
|
Richard Scherl,Tran Cao Son and Chitta Baral
|
2009,3(1):3-30
|
|
|
Temporal Data Mining for Educational Applications
|
Paul R. Cohen and Carole R. Beal
|
2009,3(1):31-46
|
|
|
Propositional Attitudes and Causation
|
Konstantine,Arkoudas and Bringsjord
|
2009,3(1):47-65
|
|
|
Verification of an Incremental Garbage Collector in Hoare-Style Logic
|
Chunxiao Lin,Yiyun Chen and and Bei Hua
|
2009,3(1):67-88
|
|
|
Secure—I*: Engineering Secure Software Systems through Social Analysis
|
Lin Liu,, Eric Yu and John Mylopoulos
|
2009,3(1):89-120
|
|
|
Editorial
|
Dines Bjφrner
|
2009,3(2):121-127
|
|
|
Designing and Analyzing a Flash File System with Alloy
|
Eunsuk Kang and Daniel Jackson
|
2009,3(2):129-148
|
|
|
Symbolic Bounded Model Checking of Abstract State Machines
|
Margus Veanes,Nikolaj Bjφrner,Yuri Gurevich and Wolfram Schulte
|
2009,3(2):149-170
|
|
|
Efficient Model Checking for Duration Calculus?
|
Martin Fr¨anzle1 and Michael R. Hansen2
|
2009,3(2):171-196
|
|
|
Refinement-Based Guidelines for Algorithmic Systems
|
Dominique Méry
|
2009,3(2):197-239
|
|
|
Developing a Domain Model for Relay Circuits
|
Anne E. Haxthausen
|
2009,3(2):241-272
|
|
