This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
We revisit the definitions of zero-knowledge in the Common Reference String (CRS) model and the Random Oracle (RO) model. We argue that even though these definitions syntacticall...
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...