1855 search results - page 177 / 371 » Composing model programs for analysis |
102
Voted
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
142
Voted
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
158
click to vote
ICIP
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose a novel learning algorithm to detect moving pedestrians from a stationary camera in real-time. The algorithm learns a discriminative model based on eigenflow, i.e. the ...
143
Voted
ENVSOFT
2006
15 years 3 months ago
2006
Nestedness is a property of binary matrices of ecological data and quantified by the matrix's temperature, T. The program widely used to calculate T is Nestedness Temperature...
119
Voted
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...