Sciweavers

3011 search results - page 186 / 603
» Generating XML Based Specifications of Information Systems
Sort
View
FATES
2003
Springer
14 years 2 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
CODES
1998
IEEE
14 years 1 months ago
A hardware/software prototyping environment for dynamically reconfigurable embedded systems
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
Josef Fleischmann, Klaus Buchenrieder, Rainer Kres...
EMSOFT
2006
Springer
14 years 23 days ago
Energy adaptation for multimedia information kiosks
Video kiosks increasingly contain powerful PC-like embedded processors, allowing them to display video at a high level of quality. Such video display, however, entails significant...
Richard Urunuela, Gilles Muller, Julia L. Lawall
GEOINFORMATICA
1998
90views more  GEOINFORMATICA 1998»
13 years 8 months ago
Managing, Modeling, and Visualizing High-dimensional Spatio-temporal Data in an Integrated System
An approach to an interoperable object-oriented GIS-framework for atmospheric modeling (AtmoGIS), which can be used to implement integrated information systems, is presented. The ...
Lars Bernard, Benno Schmidt, Ulrich Streit, Christ...
ATAL
2007
Springer
14 years 3 months ago
An agent-based approach for privacy-preserving recommender systems
Recommender Systems are used in various domains to generate personalized information based on personal user data. The ability to preserve the privacy of all participants is an ess...
Richard Cissée, Sahin Albayrak