Sciweavers

2261 search results - page 189 / 453
» Modeling the Experimental Software Engineering Process
Sort
View
AADEBUG
2005
Springer
15 years 10 months ago
Jockey: a user-space library for record-replay debugging
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
Yasushi Saito
ICEBE
2007
IEEE
151views Business» more  ICEBE 2007»
15 years 10 months ago
Systematic Security Analysis for Service-Oriented Software Architectures
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...
Yanguo Liu, Issa Traoré
118
Voted
TACS
1991
Springer
15 years 8 months ago
On Nets, Algebras and Modularity
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
CCE
2008
15 years 4 months ago
Scheduling of a mixed batch/continuous sugar milling plant using Petri nets
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
Mahsa Ghaeli, Parisa A. Bahri, Peter L. Lee
QSIC
2009
IEEE
15 years 11 months ago
A Bayesian Approach for the Detection of Code and Design Smells
The presence of code and design smells can have a severe impact on the quality of a program. Consequently, their detection and correction have drawn the attention of both research...
Foutse Khomh, Stéphane Vaucher, Yann-Ga&eum...