Sciweavers

1663 search results - page 93 / 333
» Software Reuse and Safety
Sort
View
JUCS
2010
163views more  JUCS 2010»
13 years 4 months ago
UML Support for Designing Software Product Lines: The Package Merge Mechanism
: Software product lines have become a successful but challenging approach to software reuse. Some of the problems that hinder the adoption of this development paradigm are the con...
Miguel A. Laguna, José M. Marqués
CODES
2006
IEEE
13 years 11 months ago
Architectural support for safe software execution on embedded processors
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
Divya Arora, Anand Raghunathan, Srivaths Ravi, Nir...
SP
2008
IEEE
120views Security Privacy» more  SP 2008»
13 years 9 months ago
Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses
Abstract--Our study analyzes the security and privacy properties of an implantable cardioverter defibrillator (ICD). Introduced to the U.S. market in 2003, this model of ICD includ...
Daniel Halperin, Thomas S. Heydt-Benjamin, Benjami...
APVIS
2004
13 years 11 months ago
Using Software Visualisation to Enhance Online Component Markets
Online component markets can be costly for consumers to use, in terms of the time and effort spent understanding the components on offer. This cost of understanding will deter con...
Stuart Marshall, Robert Biddle, James Noble
COMPSAC
2002
IEEE
14 years 2 months ago
The Semantics of Extended SOFL
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
Jin Song Dong, Shaoying Liu