4695 search results - page 251 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
158
click to vote
MASCOTS
2004
15 years 8 months ago
2004
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...
147
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
The subsystem decomposition of a software system degrades gradually during its lifetime and therefore it gets harder and harder to maintain. As a result this decomposition needs t...
173
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
186
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...
168
click to vote
ICWE
2005
Springer
16 years 3 days ago
2005
Springer
We present in this paper a method to discover the set of webpages contained in a logical website, based on the link structure of the Web graph. Such a method is useful in the conte...