1088 search results - page 97 / 218 » Knowledge map of information science |
142
click to vote
CSCW
2006
ACM
15 years 10 months ago
2006
ACM
Representations are at work in IT technology. As plans of and for work, they enable cooperation, coordination, accountability and control, which have to be balanced off against ea...
114
click to vote
SOFSEM
2009
Springer
16 years 1 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
153
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
167
click to vote
IWSEC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Planning information security investment is somewhere between art and science. This paper reviews and compares existing scientific approaches and discusses the relation ...
149
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...