13004 search results - page 2294 / 2601 » Mining Software Data |
190
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
175
click to vote
ICSOC
2003
Springer
15 years 12 months ago
2003
Springer
Service-based approaches (such as Web Services and the Open Grid Services Architecture) have gained considerable attention recently for supporting distributed application developme...
169
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—A geolocalised system generally belongs to an individual and as such knowing its location reveals the location of its owner, which is a direct threat against his privacy...
136
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
173
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
The initial steps in carrying out a feasibility analysis for a web project, based on information obtained interactively from a prospective client, are modelled as a rulebased expe...