Sciweavers

2005 search results - page 377 / 401
» Models and Meta Models for Transactions in Web Applications
Sort
View
JSW
2008
113views more  JSW 2008»
13 years 7 months ago
Semantic Information Retrieval Based on Fuzzy Ontology for Electronic Commerce
Information retrieval is the important work for Electronic Commerce. Ontology-based semantic retrieval is a hotspot of current research. In order to achieve fuzzy semantic retrieva...
Jun Zhai, Yiduo Liang, Yi Yu, Jiatao Jiang
NAR
2008
142views more  NAR 2008»
13 years 7 months ago
CMGSDB: integrating heterogeneous Caenorhabditis elegans data sources using compositional data mining
CMGSDB (Database for Computational Modeling of Gene Silencing) is an integration of heterogeneous data sources about Caenorhabditis elegans with capabilities for compositional dat...
Amrita Pati, Ying Jin, Karsten Klage, Richard F. H...
TCS
2008
13 years 7 months ago
A timed semantics of Orc
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
Ian Wehrman, David Kitchin, William R. Cook, Jayad...
ENTCS
2002
145views more  ENTCS 2002»
13 years 7 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
JSS
1998
139views more  JSS 1998»
13 years 7 months ago
Human-computer interaction: Interdisciplinary roots and trends
Methodology, theory, and practice in the ®eld of Human±Computer Interaction (HCI) all share the goal of producing interactive software that can be used eciently, e€ectively, ...
H. Rex Hartson