Sciweavers

2338 search results - page 365 / 468
» Using UML to model relational database operations
Sort
View
ICDCS
1999
IEEE
14 years 1 months ago
Run-time Detection in Parallel and Distributed Systems: Application to Safety-Critical Systems
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
Beth Plale, Karsten Schwan
CSL
1998
Springer
14 years 1 months ago
Revision Programming = Logic Programming + Integrity Constraints
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczyns...
DEXAW
2005
IEEE
176views Database» more  DEXAW 2005»
13 years 10 months ago
Indexes and Path Constraints in Semistructured Data
In this paper, we study semistructured data and indexes preserving inclusion constraints. A semistructured datum is modelled by multi-rooted edge-labeled directed graphs. We consi...
Yves Andre, Anne-Cécile Caron, Denis Debarb...
MCSS
2007
Springer
13 years 8 months ago
A complete model of a finite-dimensional impedance-passive system
We extend the classes of standard discrete- and continuous-time input/state/ output matrix systems by adding reverse internal and/or external channels. The reverse internal channe...
Mikael Kurula, Olof J. Staffans
BMCBI
2007
142views more  BMCBI 2007»
13 years 8 months ago
LinkHub: a Semantic Web system that facilitates cross-database queries and information retrieval in proteomics
nd: A key abstraction in representing proteomics knowledge is the notion of unique identifiers for individual entities (e.g. proteins) and the massive graph of relationships among...
Andrew K. Smith, Kei-Hoi Cheung, Kevin Y. Yip, Mar...