3701 search results - page 104 / 741 » Anatomical Information Science |
166
click to vote
IFIPTCS
2010
15 years 2 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...
112
click to vote
CSR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...
145
click to vote
ENC
2003
IEEE
15 years 9 months ago
2003
IEEE
We discuss a set of metrics, which aims to facilitate the formation of symbol groups from a pseudoergodic information source. An optimal codification can then be applied on the sy...
124
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Information retrieval technology has been central to the success of the Web. For semantic web documents or annotations to have an impact, they will have to be compatible with Web ...
109
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Through the use of a recently developed taxonomy of information systems implementation, a new research method is developed. The Information Systems Implementation Research Method ...