4719 search results - page 291 / 944 » Applications = Components GLoo |
134
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
144
Voted
DBPL
1989
Springer
15 years 9 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
161
click to vote
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes the design and development of a flexible domain-based access control infrastructure for distributed Collaborative Environments. The paper proposes extensions ...
171
click to vote
BCS
2008
15 years 6 months ago
2008
In this work, a new algorithm is proposed for fast estimation of nonparametric multivariate kernel density, based on principal direction divisive partitioning (PDDP) of the data s...
183
click to vote
IJCSA
2008
15 years 4 months ago
2008
It is well known that transactional and analytical systems each require different database architecture. In general, the database structure of transactional systems is optimized f...