2836 search results - page 193 / 568 » Model Checking for Software Architectures |
127
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
The aim of this work is to provide an elegant and accurate static execution timing model for 32-bit microprocessor instruction sets, covering also inter–instruction effects. Suc...
135
click to vote
WICSA
2008
15 years 5 months ago
2008
Evolution is a permanent challenge in product line engineering. Reusable assets such as software components or documents evolve continuously due to new customer requirements or te...
123
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there is a lack of sufficient support for architectural specifications across HW/SW boundaries. S...
143
click to vote
ICRE
2000
IEEE
15 years 7 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...
170
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Pervasive computing appears like a new computing era based on networks of objects and devices evolving in a real world, radically different from distributed computing, based on ne...