Sciweavers

5973 search results - page 893 / 1195
» Fundamental forms of information
Sort
View
ESSOS
2009
Springer
16 years 1 months ago
Protection Poker: Structuring Software Security Risk Assessment and Knowledge Transfer
Discovery of security vulnerabilities is on the rise. As a result, software development teams must place a higher priority on preventing the injection of vulnerabilities in softwar...
Laurie Williams, Michael Gegick, Andrew Meneely
ICDCN
2009
Springer
16 years 1 months ago
Tracking Dynamics Using Sensor Networks: Some Recurring Themes
Abstract. Much of the data consumed today is dynamic, typically gathered from distributed sources including sensors, and used in real-time monitoring and decision making applicatio...
Krithi Ramamritham
IPMI
2009
Springer
16 years 1 months ago
Smooth 3-D Reconstruction for 2-D Histological Images
We present an image driven approach to the reconstruction of 3-D volumes from stacks of 2-D post-mortem sections (histology, cryoimaging, autoradiography or immunohistochemistry) i...
Amalia Cifor, Tony P. Pridmore, Alain Pitiot
171
Voted
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
16 years 1 months ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
194
Voted
GLOBECOM
2009
IEEE
16 years 1 months ago
Joint Power Control and Beamforming Codebook Design for MISO Channels with Limited Feedback
Abstract— This paper investigates the joint design and optimization of the power control and beamforming codebooks for the single-user multiple-input single-output (MISO) wireles...
Behrouz Khoshnevis, Wei Yu