4 search results - page 1 / 1 » A Petri-Net Based Multilevel Security Specification Model fo... |
ICMCS
2000
IEEE
13 years 9 months ago
2000
IEEE
IJCSA
2006
13 years 4 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
TMM
2002
13 years 4 months ago
2002
Abstract--The Internet provides a universal platform for largescale distribution of information and supports inter-organizational services, system integration, and collaboration. U...
MMSEC
2006
ACM
13 years 10 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...