Sciweavers

7117 search results - page 390 / 1424
» IT Governance Frameworks as Methods
Sort
View
ICIP
2005
IEEE
16 years 8 months ago
Similarity-based and perception-based image segmentation
In this paper, we present a segmentation method that provides perceptually relevant partitions without any a priori knowledge of the image content: first a local homogeneity analy...
Jérémy Huart, Pascal Bertolino
ICSE
2003
IEEE-ACM
16 years 7 months ago
Quantifying the Value of Architecture Design Decisions: Lessons from the Field
This paper outlines experiences with using economic criteria to make architecture design decisions. It briefly describes the CBAM (Cost Benefit Analysis Method) framework applied ...
Mike Moore, Rick Kazman, Mark Klein, Jai Asundi
154
Voted
CAISE
2005
Springer
16 years 11 days ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
16 years 8 days ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Yann Zimmermann, Diana Toma
PACT
2001
Springer
15 years 11 months ago
Optimizing Metacomputing with Communication-Computation Overlap
In the framework of distributed object systems, this paper presents the concepts and an implementation of an overlapping mechanism between communication and computation. This mecha...
Françoise Baude, Denis Caromel, Nathalie Fu...