1153 search results - page 100 / 231 » Compositional Specification Calculus for Information Systems... |
116
click to vote
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
120
Voted
SIGCSE
2009
ACM
15 years 8 months ago
2009
ACM
This special session will proved information about the status of work related to Masters programs in Computing. Specifically, the session will describe work completed in the follo...
131
click to vote
PVLDB
2008
15 years 3 months ago
2008
Where can I attend an interesting database workshop close to a sunny beach? Who are the strongest experts on service computing based upon their recent publication record and accep...
163
click to vote
ECCB
2005
IEEE
15 years 9 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
205
click to vote
HT
2011
ACM
14 years 7 months ago
2011
ACM
One of the key motivating factors for information providers to use personalisation is to maximise the benefit to the user in accessing their content. However, traditionally such s...