3771 search results - page 86 / 755 » Subobject Transformation Systems |
124
click to vote
IH
1998
Springer
15 years 7 months ago
1998
Springer
We describe a steganographic system which embeds secret messages into a video stream. We examine the signal path which typically includes discrete cosine transformation (DCT) based...
131
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
111
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
145
click to vote
LCPC
1998
Springer
1998
Springer
A Loop Transformation Algorithm Based on Explicit Data Layout Representation for Optimizing Locality
15 years 7 months ago
We present a cache locality optimization technique that can optimize a loop nest even if the arrays referenced have different layouts in memory. Such a capability is required for a...
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
We developed a transcoder gateway that is designed to transform any website on the fly and to adapt the website to the user’s preference and limitations. The gateway applies acc...