1347 search results - page 226 / 270 » A Web-based requirements analysis tool |
121
Voted
IWPC
2010
IEEE
14 years 11 months ago
2010
IEEE
—Free and open source software (FOSS) is often distributed in binary packages, sometimes part of GNU/Linux operating system distributions, or part of products distributed/sold to...
100
Voted
TSE
2010
14 years 11 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
135
Voted
EUROPAR
2009
Springer
14 years 10 months ago
2009
Springer
Unstructured overlay networks for peer-to-peer applications combined with stochastic algorithms for clustering and resource location are attractive due to low-maintenance costs and...
139
Voted
IFIPTM
2009
14 years 10 months ago
2009
In this paper, we take the first step to address the gap between the security needs in outsourced hosting services and the protection provided in the current practice. We consider ...
95
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper studies stabilization of polytopic delay difference inclusions via the Razumikhin approach. An example of a linear delay difference equation that is globally exponential...