Sciweavers

7596 search results - page 1211 / 1520
» Challenges in forensic computing
Sort
View
ICSE
2009
IEEE-ACM
15 years 4 months ago
A model for dynamic and adaptable services management
The dynamic nature of Service-Oriented Architectures challenges traditional systems management practices which tend to be static in nature. We propose a goal-oriented, agent-based...
Patrick Martin, Wendy Powley, Imad Abdallah, Jun L...
ICUMT
2009
15 years 4 months ago
Service and Resource Discovery supports over P2P overlays
We describe the main architecture and the design principles of the Service/Resource Discovery System (SRDS), a component of the XtreemOS Operating System. XtreemOS is a Linux exten...
Emanuele Carlini, Massimo Coppola, Patrizio Dazzi,...
IFIP12
2009
15 years 4 months ago
Mining Patterns of Lung Infections in Chest Radiographs
Chest radiography is a reference standard and the initial diagnostic test performed in patients who present with signs and symptoms suggesting a pulmonary infection. The most commo...
Spyros Tsevas, Dimitrios K. Iakovidis, George Papa...
AVSS
2009
IEEE
15 years 4 months ago
Multimodal Abandoned/Removed Object Detection for Low Power Video Surveillance Systems
Low-cost and low-power video surveillance systems based on networks of wireless video sensors will enter soon the marketplace with the promise of flexibility, quick deployment an...
Michele Magno, Federico Tombari, Davide Brunelli, ...
CACM
2010
97views more  CACM 2010»
15 years 4 months ago
Certified software
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
Zhong Shao
« Prev « First page 1211 / 1520 Last » Next »