71 search results - page 2 / 15 » A Step Towards Practical Steganography Systems |
FAC
2006
13 years 5 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
SEMWEB
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we take a view from the bottom to RDF(S) reasoning. We discuss some issues and requirements on reasoning towards effectively building Semantic Web Pipes, aggregating...
QSIC
2005
IEEE
13 years 11 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
ICEIS
2007
IEEE
13 years 11 months ago
2007
IEEE
Although extensive literature on BPR is available, there is still a lack of concrete guidance on actually changing processes for the better. In this paper we propose and detail out...
ENTCS
2006
13 years 5 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...