451 search results - page 22 / 91 » Constrained Sums of Information Systems |
ECSCW
2003
13 years 11 months ago
2003
This paper contributes to the design of Groupware Calendar Systems (GCSs) for use in domestic life. We consider a number of ethnographic studies of calendar use in domestic circums...
IEAAIE
2011
Springer
13 years 1 months ago
2011
Springer
Domain specific terminologies represent important concepts when students study a subject. If the sentences which describe important concepts related to a terminology can be accesse...
IFIPTCS
2010
13 years 7 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
IV
2007
IEEE
14 years 4 months ago
2007
IEEE
A novel asynchronous collaborative visualization system for the chemical sciences has been created as a mash-up between an interactive visualization program and a wiki. The system...