Sciweavers

671 search results - page 98 / 135
» Describing and Manipulating XML Data
Sort
View
ECSQARU
1997
Springer
14 years 4 days ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
VL
1996
IEEE
125views Visual Languages» more  VL 1996»
14 years 4 days ago
Teaching Binary Tree Algorithms through Visual Programming
In this paper, we show how visual programming can be used to teach binary tree algorithms. In our approach, the student implements a binary tree algorithm by manipulating tree fra...
Amir Michail
VLDB
1994
ACM
162views Database» more  VLDB 1994»
14 years 2 days ago
NAOS - Efficient and Modular Reactive Capabilities in an Object-Oriented Database System
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
Christine Collet, Thierry Coupaye, T. Svensen
ASPDAC
2007
ACM
101views Hardware» more  ASPDAC 2007»
14 years 4 hour ago
Core-Based Testing of Multiprocessor System-on-Chips Utilizing Hierarchical Functional Buses
Abstract--An integrated test scheduling methodology for multiprocessor System-on-Chips (SOC) utilizing the functional buses for test data delivery is described. The proposed method...
Fawnizu Azmadi Hussin, Tomokazu Yoneda, Alex Orail...
ICMCS
1995
IEEE
145views Multimedia» more  ICMCS 1995»
13 years 11 months ago
A Distributed, Multimedia Environmental Information System
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...
Joseph L. Sharnowski, Gerald C. Gannod, Betty H. C...