Sciweavers

2610 search results - page 423 / 522
» The Recognition Strategy Language
Sort
View
PEPM
2004
ACM
15 years 11 months ago
Proving termination of membership equational programs
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
Francisco Durán, Salvador Lucas, José...
VL
2002
IEEE
128views Visual Languages» more  VL 2002»
15 years 11 months ago
Dynamic Layout Management in a Multimedia Bulletin Board
This paper proposes a novel user interface to manage the dynamic layout of multimedia objects in the Multimedia Bulletin Board (MBB) system. The MBB has been designed and implemen...
Hyunmo Kang, Ben Shneiderman, Gregory J. Wolff
JAVA
2001
Springer
15 years 10 months ago
Supporting dynamic parallel object arrays
We present efficient support for generalized arrays of parallel data driven objects. Array elements are regular C++ objects, and are scattered across the parallel machine. An indi...
Orion Sky Lawlor, Laxmikant V. Kalé
IDEAS
2000
IEEE
108views Database» more  IDEAS 2000»
15 years 10 months ago
Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
Stefan Dieker, Ralf Hartmut Güting
APLAS
2000
ACM
15 years 10 months ago
An Open Environment for Cooperative Equational Solving
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
Tetsuo Ida, Mircea Marin