119 search results - page 19 / 24 » Software Watermarking: Models and Dynamic Embeddings |
104
click to vote
SBMF
2009
Springer
15 years 6 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
ENTCS
2002
14 years 11 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
106
click to vote
RTCSA
1999
IEEE
15 years 3 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
130
click to vote
ANSOFT
2002
14 years 11 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
CACM
1998
14 years 11 months ago
1998
Abstract. The Virtual Reality Modeling Language (VRML) and Java provide a standardized, portable and platformindependent way to render dynamic, interactive 3D scenes across the Int...