Sciweavers

736 search results - page 70 / 148
» Moving Specification Structures Between Logical Systems
Sort
View
DATE
2002
IEEE
130views Hardware» more  DATE 2002»
15 years 2 months ago
Assigning Program and Data Objects to Scratchpad for Energy Reduction
The number of embedded systems is increasing and a remarkable percentage is designed as mobile applications. For the latter, the energy consumption is a limiting factor because of...
Stefan Steinke, Lars Wehmeyer, Bo-Sik Lee, Peter M...
RSCTC
2000
Springer
227views Fuzzy Logic» more  RSCTC 2000»
15 years 1 months ago
Rough Sets in Approximate Spatial Reasoning
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
Thomas Bittner, John G. Stell
SDL
2001
73views Hardware» more  SDL 2001»
14 years 11 months ago
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
Experiences with the use of the MSC language for complex system specifications have shown that certain extensions are necessary in order to arrive at sufficiently transparent and m...
Jens Grabowski, Peter Graubmann, Ekkart Rudolph
ISIM
2007
14 years 11 months ago
Software Architectures for Real-time Embedded Applications for Broadcasting
The paper discusses a choice of appropriate software architecture with regards to the specifications of embedded applications as information systems particularly used in area of ra...
Otto Zeleznik, Zdenek Havlice
VLDB
1991
ACM
104views Database» more  VLDB 1991»
15 years 1 months ago
A Metadata Approach to Resolving Semantic Conflicts
In this paper we describe a rule-based approach to semantic specification that can be used to establish semantic agreement between a source and receiver. Query processing techniqu...
Michael Siegel, Stuart E. Madnick