Sciweavers

3514 search results - page 404 / 703
» Evolving Specification Engineering
Sort
View
COMPSAC
2003
IEEE
15 years 12 months ago
Flexible Fault Tolerance in Configurable Middleware for Embedded Systems
MicroQoSCORBA (MQC) is a middleware platform that focuses on embedded applications by providing a very fine level of configurability of its internal orthogonal components. Using t...
Kevin E. Dorow
162
Voted
ISCAS
2003
IEEE
153views Hardware» more  ISCAS 2003»
15 years 12 months ago
A VLSI model of range-tuned neurons in the bat echolocation system
The neural computations that support bat echolocation are of great interest to both neuroscientists and engineers, due to the complex and extremely time-constrained nature of the ...
Matthew Cheely, Timothy K. Horiuchi
KBSE
2003
IEEE
15 years 12 months ago
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
Eugenia Díaz, Javier Tuya, Raquel Blanco
AC
2003
Springer
15 years 12 months ago
A Mathematical Semantics for Architectural Connectors
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
José Luiz Fiadeiro, Antónia Lopes, M...
168
Voted
ICSE
2003
IEEE-ACM
15 years 12 months ago
A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers
Commercial off-the-shelf (COTS) software components are built to be used as black boxes that cannot be modified. The specific context in which these COTS components are employed is...
Paulo Asterio de Castro Guerra, Cecília M. ...