Sciweavers

1177 search results - page 195 / 236
» A review of function modeling: Approaches and applications
Sort
View
APLAS
2004
ACM
14 years 2 months ago
Protocol Specialization
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
Matthias Neubauer, Peter Thiemann
SSDBM
2003
IEEE
115views Database» more  SSDBM 2003»
14 years 1 months ago
Efficient Update and Retrieval of Objects in a Multiresolution Geospatial Database
Many emerging applications benefit from the extraction of geospatial data specified at different resolutions for viewing purposes. Data must also be topologically accurate and up-...
Sham Prasher, Xiaofang Zhou
FM
2006
Springer
126views Formal Methods» more  FM 2006»
14 years 6 days ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
DAIS
2001
13 years 10 months ago
Software Connectors and their Role in Component Deployment
To support rapid software evolution, it is desirable to construct software systems from reusable components. In this approach, the architecture of a system is described as a collec...
Dusan Bálek, Frantisek Plasil
IMAGING
2000
13 years 10 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