Sciweavers

4349 search results - page 198 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
168
Voted
DATE
2009
IEEE
249views Hardware» more  DATE 2009»
15 years 10 months ago
White box performance analysis considering static non-preemptive software scheduling
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
Alexander Viehl, Michael Pressler, Oliver Bringman...
137
Voted
ISPAN
1996
IEEE
15 years 7 months ago
An effective parallelization of execution of multijoins in multiprocessor systems
In this paper, we study a synchronous execution strategy f o r parallel join computation in multiprocessor systems. Through a further comprehensive investigation of the processor ...
Xuemin Lin, S. Fox
110
Voted
HICSS
2002
IEEE
68views Biometrics» more  HICSS 2002»
15 years 8 months ago
Framing Virtual Interactivity between Government and Citizens: A Study of Feedback Systems in the Chicago Police Department
This paper considers the current efforts to describe the effect of Internet-based technology on interactivity between citizens and public organizations to be incomplete and poorly...
Shelley Fulla, Eric W. Welch
118
Voted
ICFEM
2009
Springer
15 years 10 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...
ICST
2009
IEEE
15 years 1 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...