Sciweavers

1620 search results - page 85 / 324
» Use Case Level Pointcuts
Sort
View
114
Voted
ICFEM
2009
Springer
15 years 9 months ago
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
Maximiliano Cristiá, Pablo Rodríguez...
WORDS
2005
IEEE
15 years 8 months ago
Error Recovery for a Boiler System with OTS PID Controller
We have previously presented initial results of a case study which illustrated an approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour ...
Tom Anderson, Mei Feng, Steve Riddle, Alexander Ro...
DATE
2004
IEEE
159views Hardware» more  DATE 2004»
15 years 7 months ago
Compositional Memory Systems for Data Intensive Applications
To alleviate the system performance unpredictability of multitasking applications running on multiprocessor platforms with shared memory hierarchies we propose a task level set ba...
Anca Mariana Molnos, Marc J. M. Heijligers, Sorin ...
CEC
2008
IEEE
15 years 9 months ago
Multi-level neutrality in optimization
Abstract— This paper explores the idea of neutrality in heuristic optimization algorithms. In particular, the effect of having multiple levels of neutrality in representations is...
Colin G. Johnson
106
Voted
ICTAC
2005
Springer
15 years 8 months ago
On Typing Information Flow
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
Gérard Boudol