Sciweavers

392 search results - page 61 / 79
» Composite events for xml
Sort
View
ICCS
2007
Springer
14 years 3 months ago
Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation
The GENIE project has built a Grid enabled framework that facilitates the integration, execution and management of component models for the study of the Earth system over millennia...
Matt J. Fairman, Andrew R. Price, Gang Xue, Marc M...
VLDB
1993
ACM
113views Database» more  VLDB 1993»
14 years 1 months ago
An Active Object-Oriented Database: A Multi-Paradigm Approach to Constraint Management
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...
Hiroshi Ishikawa, Kazumi Kubota
PTS
2008
98views Hardware» more  PTS 2008»
13 years 11 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
LANMR
2004
13 years 11 months ago
New Semantics for Hybrid Probabilistic Programs
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
Emad Saad
MMGPS
2003
13 years 11 months ago
Personalisation in Self e-Learning Networks
This paper presents some of the personalisation services designed for self e-learning networks in the SeLeNe project. A self e-learning network consists of web-based learning obje...
Kevin Keenoy, Vassilis Christophides