8623 search results - page 1515 / 1725 » Software engineering for secure systems |
177
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
133
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, a two-dimensional airfoil shape optimisation problem is investigated using CFD within a grid computing environment (GCE) implemented in Matlab. The feature-based par...
115
click to vote
MSR
2010
ACM
15 years 10 months ago
2010
ACM
—In this paper, we explore the viability of mining the basic data provided in bug repositories to predict bug lifetimes. We follow the method of Lucas D. Panjer as described in h...
149
click to vote
CODES
2002
IEEE
15 years 10 months ago
2002
IEEE
Dynamic run-time scheduling in System-on-Chip platforms has become recently an active area of research because of the performance and power requirements of new applications. Moreo...
197
click to vote
APN
2010
Springer
15 years 9 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...