Sciweavers

26957 search results - page 443 / 5392
» Information Systems Modernization
Sort
View
CAISE
2009
Springer
16 years 1 months ago
Deriving Information Requirements from Responsibility Models
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
Ian Sommerville, Russell Lock, Tim Storer, John Do...
ACTA
2005
92views more  ACTA 2005»
15 years 6 months ago
Type-based information flow analysis for the pi-calculus
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
Naoki Kobayashi
ICCV
2003
IEEE
16 years 8 months ago
Dynamic Stroke Information Analysis for Video-Based Handwritten Chinese Character Recognition
Video-based handwritten Character Recognition (VCR) system is a new type of character recognition system with many unique advantages over on-line character recognition system. Its...
Feng Lin, Xiaoou Tang
JCS
2011
74views more  JCS 2011»
15 years 1 months ago
Model-checking trace-based information flow properties
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
Deepak D'Souza, Raveendra Holla, K. R. Raghavendra...
169
Voted
GRAPHICSINTERFACE
1997
15 years 8 months ago
Interactive Volumetric Information Visualization
This paper describes a minimallyimmersive threedimensional volumetric interactive information visualizationsystem formanagementand analysis ofdocument corpora. The system, SFA, us...
David S. Ebert, Christopher D. Shaw, Amen Zwa, Eth...