Sciweavers

2255 search results - page 52 / 451
» High Assurance Software Systems
Sort
View
EGC
2005
Springer
14 years 2 months ago
High Throughput Computing for Spatial Information Processing (HIT-SIP) System on Grid Platform
For many remote sensing application projects, the quality of the research or the product is heavily dependent upon the quantity of computing cycles available. Middleware is softwar...
Yong Xue, Yanguang Wang, Jianqin Wang, Ying Luo, Y...
ACSAC
2005
IEEE
14 years 2 months ago
The Pump: A Decade of Covert Fun
This paper traces the ten plus year history of the Naval Research Laboratory’s Pump idea. The Pump was theorized, designed, and built at the Naval Research Laboratory’s Center...
Myong H. Kang, Ira S. Moskowitz, Stanley Chincheck
MEDES
2010
ACM
13 years 3 months ago
Brazilian public software: beyond sharing
This work presents a case of an innovative Brazilian experience of use of free software in public administration as an emergent ecosystem, and the attempt to establish a quality f...
A. M. Alves, Marcelo Schneck de Paula Pessôa
IWPC
2007
IEEE
14 years 3 months ago
Mining Software Repositories for Traceability Links
An approach to recover/discover traceability links between software artifacts via the examination of a software system’s version history is presented. A heuristic-based approach...
Huzefa H. Kagdi, Jonathan I. Maletic, Bonita Shari...
NETWORK
2007
145views more  NETWORK 2007»
13 years 8 months ago
Analysis of Shared Memory Priority Queues with Two Discard Levels
— Two rate SLAs become increasingly popular in today’s Internet, allowing a customer to save money by paying one price for committed traffic and a much lower price for additio...
Shlomi Bergida, Yuval Shavitt