Sciweavers

4360 search results - page 346 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
PAMI
2012
13 years 9 months ago
Nonlinear Shape Registration without Correspondences
—In this paper, we propose a novel framework to estimate the parameters of a diffeomorphism that aligns a known shape and its distorted observation. Classical registration method...
Csaba Domokos, Jozsef Nemeth, Zoltan Kato
ISPW
2005
IEEE
16 years 12 days ago
A Value-Based Process for Achieving Software Dependability
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
LiGuo Huang
ICDE
2005
IEEE
154views Database» more  ICDE 2005»
16 years 8 months ago
Deep Store: an Archival Storage System Architecture
We present the Deep Store archival storage architecture, a large-scale storage system that stores immutable data efficiently and reliably for long periods of time. Archived data i...
Lawrence You, Kristal T. Pollack, Darrell D. E. Lo...
JOT
2008
124views more  JOT 2008»
15 years 6 months ago
Methodological Proposal for Business Process Management sustained in the use of Patterns
At the moment, enterprises require complex business models with an organizational structures, processes and systems that must be explicitly designed. The work designed by these bu...
Pedro Bonillo, Nancy Zambrano, Alecia Eleonora Aco...
ISSTA
2009
ACM
16 years 1 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat