Sciweavers

7892 search results - page 349 / 1579
» Programming with Models
Sort
View
POPL
1999
ACM
15 years 6 months ago
Software Watermarking: Models and Dynamic Embeddings
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
Christian S. Collberg, Clark D. Thomborson
COMPUTER
1998
94views more  COMPUTER 1998»
15 years 2 months ago
Multiprocessors Should Support Simple Memory-Consistency Models
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...
Mark D. Hill
96
Voted
AEI
1999
86views more  AEI 1999»
15 years 2 months ago
A factorisation model of robotic tasks
The implantation of programs which gives a robot the ability to perform a non-repetitive task (task not completely de
Salima Benbernou
125
Voted
ATAL
1995
Springer
15 years 6 months ago
Foundations of a Logical Approach to Agent Programming
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
Yves Lespérance, Hector J. Levesque, Fangzh...
AOSD
2011
ACM
14 years 9 months ago
EventCJ: a context-oriented programming language with declarative event-based context transition
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara