Sciweavers

1656 search results - page 240 / 332
» Ontology Composition using a Role Modeling Approach
Sort
View
HICSS
2009
IEEE
115views Biometrics» more  HICSS 2009»
15 years 11 months ago
Effects of Adaptivity and Other External Variables on Mobile Service Adoption
User Interface between user and information systems has a great role in system adoption. Based on technology acceptance model, acceptance of a system is explained as a function of...
Ebru Polat, Nuri Basoglu, Tugrul U. Daim
APSEC
2003
IEEE
15 years 7 months ago
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics
This paper investigates data-refinement by backward simulation for specifications whose semantics is given by partial relations. The standard model-theoretic approach is based on ...
Moshe Deutsch, Martin C. Henson
WWW
2005
ACM
16 years 4 months ago
Building adaptable and reusable XML applications with model transformations
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
Ivan Kurtev, Klaas van den Berg
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
15 years 9 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
BMCBI
2008
179views more  BMCBI 2008»
15 years 4 months ago
Bayesian modeling of recombination events in bacterial populations
Background: We consider the discovery of recombinant segments jointly with their origins within multilocus DNA sequences from bacteria representing heterogeneous populations of fa...
Pekka Marttinen, Adam Baldwin, William P. Hanage, ...