1497 search results - page 233 / 300 » A Computational Model for Message Passing |
DBPL
1999
Springer
14 years 9 days ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
SMI
2008
IEEE
14 years 2 months ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
MEDIAFORENSICS
2010
13 years 9 months ago
2010
In the paper we present a watermarking scheme developed to meet the specific requirements of audio annotation watermarking robust against DA/AD conversion (watermark detection aft...