2205 search results - page 169 / 441 » Mutation Operators for Specifications |
ICISC
2000
13 years 11 months ago
2000
Abstract. Electronic payment systems for wireless devices need to take into account the limited computational and storage ability of such devices. Micropayment schemes seem well su...
IMAGING
2000
13 years 11 months ago
2000
Tone reproduction is a key component in image quality and historically tone correction has been performed on a global basis for a given device or image. Several recent investigati...
WIRTSCHAFTSINFORMATI
2007
13 years 10 months ago
2007
It has become common place in business life that companies with related operations engage in a so-called merger in order to benefit from synergies or from combined products and se...
DSONLINE
2008
13 years 9 months ago
2008
Ubiquitous applications are characterised by variations of their execution context. Their correct operation requires some continual adaptations based on the observation of their e...
JLP
2006
13 years 9 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...