4036 search results - page 573 / 808 » Formal Methods |
165
click to vote
ISESE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper summarizes estimation knowledge through a review of surveys on software effort estimation. Main findings were that: (1) Most projects (60-80%) encounter effort and/or s...
144
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Hierarchies provide a means of organizing, summarizing and accessing information. We describe a method for automatically generating hierarchies from small collections of text, and...
166
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
174
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
The availability is often used to measure how well a system can provide the service continuously. The measures of availability for a single computer and for multiple computers are ...
194
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Solar Trust Model provides a method by which the sender of a message can be authenticated, and the level of trust that can be placed in the sender of the message or the messag...