4911 search results - page 602 / 983 » Tree dependence analysis |
131
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
177
click to vote
ECOOPW
2003
Springer
15 years 9 months ago
2003
Springer
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
117
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
139
click to vote
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
148
click to vote
MCS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Given an arbitrary data set, to which no particular parametrical, statistical or geometrical structure can be assumed, different clustering algorithms will in general pr...