3799 search results - page 576 / 760 » An Engineering Approach to Formal Methods |
168
click to vote
AINA
2007
IEEE
16 years 17 days ago
2007
IEEE
Link analysis is a critical component of current Internet search engines' results ranking software, which determines the ordering of query results returned to the user. The o...
165
click to vote
GECCO
2007
Springer
16 years 11 days ago
2007
Springer
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...
165
click to vote
VLSI
2007
Springer
16 years 10 days ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
143
Voted
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
While often defined in informal ways, software cohesion reflects important properties of modules in a software system. Cohesion measurement has been used for quality assessment, f...
159
click to vote
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...