3943 search results - page 219 / 789 » Architecture-Level Requirements Specification |
147
click to vote
ENTCS
2002
15 years 6 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
161
click to vote
FAC
2002
15 years 6 months ago
2002
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
165
click to vote
SIGMETRICS
2000
ACM
15 years 6 months ago
2000
ACM
In this paper we study how to make web servers (e.g., Apache) more crawler friendly. Current web servers offer the same interface to crawlers and regular web surfers, even though ...
172
click to vote
SIGMETRICS
2000
ACM
15 years 6 months ago
2000
ACM
A key determinant of the effectiveness of a web cache is the locality of the files requested. In the past this has been difficult to model, as locality appears to be cache specifi...
155
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...