Sciweavers

6343 search results - page 880 / 1269
» Development of a Cartographic Language
Sort
View
ICALT
2003
IEEE
16 years 5 days ago
Online Self-Assessment as a Learning Method
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...
Daniel Gayo-Avello, Hortensia Fernández-Cue...
ICDCS
2003
IEEE
16 years 5 days ago
Dynamic Module Replacement in Distributed Protocols
Dynamic module replacement — the ability to hot swap a component’s implementation at runtime — is fundamental to supporting evolutionary change in long-lived and highlyavail...
Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide
ICEIS
2003
IEEE
16 years 5 days ago
An XML View of the "World"
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
16 years 4 days ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ITCC
2003
IEEE
16 years 4 days ago
Database Design for Dynamic Online Surveys
This paper discusses the architecture and implementation of dynamic web-based surveys with an emphasis on the recently completed Survey2001 project. Survey2001 was made available ...
Roy P. Pargas, James C. Witte, Kowshik Jaganathan,...