Sciweavers

4350 search results - page 223 / 870
» Case studies for contract-based systems
Sort
View
VLDB
1989
ACM
104views Database» more  VLDB 1989»
15 years 10 months ago
Gral: An Extensible Relational Database System for Geometric Applications
: We describe the architecture of a relational databasesystem that is extensible by user-defined data types and operations, including relation operations. The central concept is to...
Ralf Hartmut Güting
GLVLSI
2010
IEEE
296views VLSI» more  GLVLSI 2010»
15 years 6 months ago
AOP-based high-level power estimation in SystemC
The paper presents a novel high-level power modeling and estimation framework. The approach is based on a synergic integration of aspect-oriented programming(AOP) and SystemC. Mac...
Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi
ANSS
2008
IEEE
16 years 1 months ago
Resource Allocation Strategies in a 2-Level Hierarchical Grid System
Efficient job scheduling in grids is challenging due to the large number of distributed autonomous resources. In this paper we study various resource allocation policies in a 2-le...
Stylianos Zikos, Helen D. Karatza
WAPCV
2007
Springer
16 years 20 days ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur
VL
2006
IEEE
153views Visual Languages» more  VL 2006»
16 years 17 days ago
Lessons Learned from Designing a Programming System to Support Middle School Girls Creating Animated Stories
Traditional approaches to teaching computer science are often unsuccessful in attracting girls into the discipline. Our hypothesis is that presenting computer programming as a mea...
Caitlin Kelleher, Randy Pausch