Sciweavers

2695 search results - page 384 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
118
Voted
SOFSEM
2007
Springer
15 years 9 months ago
Separation of Concerns and Consistent Integration in Requirements Modelling
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
Xin Chen, Zhiming Liu, Vladimir Mencl
COORDINATION
2006
Springer
15 years 7 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
122
Voted
INFFUS
2000
122views more  INFFUS 2000»
15 years 3 months ago
Multi-modal identity verification using expert fusion
The contribution of this paper is to compare paradigms coming from the classes of parametric, and non-parametric techniques to solve the decision fusion problem encountered in the...
Patrick Verlinde, Gérard Chollet, Marc Ache...
FIRBPERF
2005
IEEE
259views Algorithms» more  FIRBPERF 2005»
15 years 9 months ago
Performance Issues in Video Streaming Environments
The main motivation for applying capacity planning techniques to the design of Internet-based video services is that very often these systems incur significant delays that decrea...
Giuliano Casale, Paolo Cremonesi, Giuseppe Serazzi...
135
Voted
EUROPAR
2003
Springer
15 years 8 months ago
Obtaining Hardware Performance Metrics for the BlueGene/L Supercomputer
Hardware performance monitoring is the basis of modern performance analysis tools for application optimization. We are interested in providing such performance analysis tools for t...
Pedro Mindlin, José R. Brunheroto, Luiz De ...