Sciweavers

451 search results - page 6 / 91
» View updates in a semantic data modelling paradigm
Sort
View
ENTCS
2010
130views more  ENTCS 2010»
13 years 7 months ago
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
Ludovic Henrio, Muhammad Uzair Khan
IJON
2002
64views more  IJON 2002»
13 years 7 months ago
Software engineering tools and approaches for neuroinformatics: the design and implementation of the View-Primitive Data Model f
We describe a software-engineering strategy called the `View-Primitive Data Model framework' (or `VPDMf') derived from the design of leading commercial software engineer...
Gully A. P. C. Burns, Fang Bian, Wei-Cheng Cheng, ...
CCGRID
2005
IEEE
14 years 1 months ago
View-oriented update protocol with integrated diff for view-based consistency
This paper proposes a View-Oriented Update Protocol with Integrated Diff for efficient implementation of a View-based Consistency model which supports a novel View-Oriented Paral...
Zhiyi Huang, Martin K. Purvis, Paul Werstein
LOPSTR
2001
Springer
13 years 12 months ago
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
José Júlio Alferes, Antonio Brogi, J...
NAR
2011
234views Computer Vision» more  NAR 2011»
12 years 10 months ago
The UCSC cancer genomics browser: update 2011
The UCSC Cancer Genomics Browser (https:// genome-cancer.ucsc.edu) comprises a suite of web-based tools to integrate, visualize and analyze cancer genomics and clinical data. The ...
J. Zachary Sanborn, Stephen C. Benz, Brian Craft, ...