656 search results - page 105 / 132 » A Formalization of Transition P Systems |
113
Voted
FIW
2007
15 years 1 months ago
2007
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...
106
click to vote
JCS
2008
15 years 10 days ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
126
click to vote
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
IH
1998
Springer
15 years 4 months ago
1998
Springer
In the last few years, a large number of schemes have been proposed for hiding copyright marks and other information in digital pictures, video, audio and other multimedia objects....
IUI
2010
ACM
15 years 9 months ago
2010
ACM
RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their...