Sciweavers

1481 search results - page 30 / 297
» Operating Systems for Component Software Environments
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
14 years 2 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
COMPSAC
2008
IEEE
14 years 2 months ago
Service-Oriented Modelling of Automotive Systems
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
Laura Bocchi, José Luiz Fiadeiro, Ant&oacut...
CSMR
2000
IEEE
14 years 11 days ago
A Slicing-based Approach to Extracting Reusable Software Architectures
An alternative approach to developing reusable components from scratch is to recover them from existing systems. Although numerous techniques have been proposed to recover reusabl...
Jianjun Zhao
HASE
1997
IEEE
14 years 5 days ago
A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
Monica Brockmeyer, Farnam Jahanian, Elly Winner, C...
EUROMICRO
2006
IEEE
13 years 11 months ago
Building Reconfigurable Component-Based OS with THINK
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...
Juraj Polakovic, Ali Erdem Özcan, Jean-Bernar...