Sciweavers

1113 search results - page 26 / 223
» Counter Systems for Data Logics
Sort
View
223
Voted
ADBIS
2004
Springer
367views Database» more  ADBIS 2004»
15 years 12 months ago
Logical Design of Generalizations in Object-relational Databases
The richer data models of object relational databases opens many more options for the logical design of a database schema increasing the complexity of logical database design enorm...
Johann Eder, Simone Kanzian
TACAS
2007
Springer
99views Algorithms» more  TACAS 2007»
16 years 20 days ago
"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
Hillel Kugler, Amir Pnueli, Michael J. Stern, E. J...
IJNSEC
2011
167views more  IJNSEC 2011»
15 years 1 months ago
New Real Time Multicast Authentication Protocol
Multicast gives professional large-scale content distribution by providing an efficient transport mechanism for one-to-many and many-to-many communications. There is a number of s...
Riham Abdellatif, Heba Kamal Aslan, Salwa H. Elram...

Publication
293views
17 years 4 months ago
Using Archived Data to Generate Transit Performance Measures.
Measuring the performance of a transit system is the first step toward efficient and proactive management. In recent years, the use of performance measures for transportation plan...
R. L. Bertini, A. M. El-Geneidy
FLAIRS
2006
15 years 8 months ago
Evaluation of the q-matrix Method in Understanding Student Logic Proofs
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
Tiffany Barnes