494 search results - page 20 / 99 » On Some Epistemological Problems of Software Engineering |
108
click to vote
TASE
2010
IEEE
14 years 4 months ago
2010
IEEE
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....
SEKE
2007
Springer
15 years 3 months ago
2007
Springer
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...
AUIC
2003
IEEE
15 years 3 months ago
2003
IEEE
Authentication is a security service that consists of verifying that someone’s identity is as claimed. There are a number of challenges to presenting information from the authen...
78
Voted
FOSSACS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
90
Voted
AC
1998
Springer
14 years 9 months ago
1998
Springer
This paper describes the state of the art for cryptographic hash functions. Different definitions are compared, and the few theoretical results on hash functions are discussed. A...