8828 search results - page 333 / 1766 » Formal methods in practice |
171
click to vote
XPU
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This manuscript describes a technique to perform comparisons on agile methods, based on a set of relevant features and attributes. This set includes attributes related to...
141
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a new analytical method for estimating parameters of a homogeneous isotropic Potts model with an asymmetric Gibbs potential function. The model is generalized ...
200
click to vote
APPINF
2003
15 years 8 months ago
2003
The paper presents a method in teaching software process at under-graduate level, based on the Personal Software Process (PSP). The goal is to inform students about the process an...
171
click to vote
MSE
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents the Basic Electronic course syllabus needed to obtain the Telecommunications Engineering degree, adapted to the criteria established by the new European Higher ...
155
click to vote
CANS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Two methods to implement privacy in network communication, anonymity and DCSC (data confidentiality and secure computation) are analysed and compared in regard to privac...