Sciweavers

2830 search results - page 171 / 566
» A Development Tool for E-learning Applications
Sort
View
ICAC
2005
IEEE
15 years 3 months ago
The J3 Process for Building Autonomic Enterprise Java Bean Systems
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed enterprise applications. This paper provides two contributions to the...
Jules White, Douglas C. Schmidt, Aniruddha S. Gokh...
ANSOFT
2002
100views more  ANSOFT 2002»
14 years 10 months ago
A Formal Object Approach to the Design of ZML
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
ICDE
1996
IEEE
134views Database» more  ICDE 1996»
15 years 11 months ago
Tioga-2: A Direct Manipulation Database Visualization Environment
This paper reports on user experience with Tioga, a DBMS-centric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct manipula...
Alexander Aiken, Jolly Chen, Michael Stonebraker, ...
72
Voted
FPL
2005
Springer
140views Hardware» more  FPL 2005»
15 years 3 months ago
A Low-Energy FPGA: Architecture Design and Software-Supported Design Flow
The aim of the PhD thesis is the development of systematic methodologies both for hardware and software level for designing low-energy and performance efficient reconfigurable sys...
K. Siozios, Dimitrios Soudris, Adonios Thanailakis
SPIN
2012
Springer
13 years 16 days ago
Model Checking DSL-Generated C Source Code
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
Martin Sulzmann, Axel Zechner