Sciweavers

7366 search results - page 522 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
175
Voted
NSPW
2004
ACM
16 years 9 days ago
Towards agile security assurance
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...
Konstantin Beznosov, Philippe Kruchten
191
Voted
ICML
2003
IEEE
16 years 7 months ago
Exploration and Exploitation in Adaptive Filtering Based on Bayesian Active Learning
In the task of adaptive information filtering, a system receives a stream of documents but delivers only those that match a person's information need. As the system filters i...
Yi Zhang, Wei Xu, James P. Callan
ESOP
2007
Springer
15 years 10 months ago
A Certified Lightweight Non-interference Java Bytecode Verifier
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
Gilles Barthe, David Pichardie, Tamara Rezk
IH
2001
Springer
15 years 11 months ago
F5-A Steganographic Algorithm
Many steganographic systems are weak against visual and statistical attacks. Systems without these weaknesses offer only a relatively small capacity for steganographic messages. T...
Andreas Westfeld
ISBI
2004
IEEE
16 years 7 months ago
Image-Guidance for Cardiac Surgery Using Dynamic Autostereoscpic Display System
An autostereoscopic display and analysis system has been developed to aid the development of three-dimensional (3-D) cardiac imaging for use during minimally invasive cardiac surg...
Hongen Liao, Nobuhiko Hata, Takeyoshi Dohi