845 search results - page 62 / 169 » A Formal Model of the Software Test Process |
90
Voted
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...
145
click to vote
DCEIS
2006
15 years 11 days ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
100
click to vote
APCCM
2006
15 years 11 days ago
2006
UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in captu...
WISE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
CSDA
2007
14 years 11 months ago
2007
We develop regression diagnostics for functional regression models which relate a functional response to predictor variables that can be multivariate vectors or random functions. ...