Sciweavers

2625 search results - page 347 / 525
» Applications 2000
Sort
View
AVI
2000
15 years 8 months ago
Generating User Interface Code in a Model Based User Interface Development Environment
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
Paulo Pinheiro da Silva, Tony Griffiths, Norman W....
EFDBS
2000
15 years 8 months ago
HERA: Automatically Generating Hypermedia Front-ends
The generation of hypermedia (or Web-based) presentations plays an important role in information management on the World Wide Web. In applications for Web modeling and querying, in...
Geert-Jan Houben
IMAGING
2000
15 years 8 months ago
Conversion Between CMYK Spaces Preserving Black Separation
This paper describes a method for developing a transform between two device CMYK spaces in a way that preserves information about the black separation. An important application of...
Tomasz J. Cholewo
IWFM
2000
107views Formal Methods» more  IWFM 2000»
15 years 8 months ago
A Comparison of Three Model Checkers Applied to a Distributed Database Problem
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
A. J. Currie
MMNS
2000
101views Multimedia» more  MMNS 2000»
15 years 8 months ago
Traffic Management in Isochronets Networks
: This paper presents an evaluation of a traffic management mechanism for high speed networks called RDMA (Route Division Multiple Access), developed as part of the Isochronets, a ...
Kelvin Lopes Dias, José Augusto Suruagy Mon...