Sciweavers

4029 search results - page 306 / 806
» Experience with Software Watermarking
Sort
View
HPDC
2002
IEEE
15 years 11 months ago
Lightweight Self-Organizing Frameworks for Metacomputing
A novel component-based, service-oriented framework for distributed metacomputing is described. Adopting a provider-centric view of resource sharing, this project emphasizes light...
Vaidy S. Sunderam, Dawid Kurzyniec
ISSRE
2002
IEEE
15 years 11 months ago
Saturation Effects in Testing of Formal Models
Formal analysis of software is a powerful analysis tool, but can be too costly. Random search of formal models can reduce that cost, but is theoretically incomplete. However, rand...
Tim Menzies, David Owen, Bojan Cukic
KBSE
2002
IEEE
15 years 11 months ago
An Approach to Rapid Prototyping of Large Multi-Agent Systems
Engineering individual components of a multi-agent system and their interactions is a complex and error-prone task in urgent need of methods and tools. Prototyping is a valuable t...
Wamberto Weber Vasconcelos, Carles Sierra, Marc Es...
HOTSWUP
2009
ACM
15 years 11 months ago
Online Application Upgrade Using Edition-Based Redefinition
This paper describes Edition-Based Redefinition (EBR) in the Oracle database — a novel technology and methodology to build database application patches so that installation of t...
Alan Choi
SAFECOMP
2001
Springer
15 years 11 months ago
Designing Safety into Medical Decisions and Clinical Processes
After many years of experimental research software systems to support clinical decisionmaking are now moving into routine clinical practice. Most of the research to date has been ...
John Fox