16883 search results - page 3268 / 3377 » Generalized Non-Reducible Descriptors |
158
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
169
click to vote
DGO
2006
15 years 7 months ago
2006
For social science researchers, content analysis and classification of United States Congressional legislative activities has been time consuming and costly. The Library of Congre...
148
Voted
DGO
2006
15 years 7 months ago
2006
Large volume public comment campaigns and web portals that encourage the public to customize form letters produce many near-duplicate documents, which increases processing and sto...
176
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
As the set of available Web Services expands, it becomes increasingly important to have automated tools to help identify services that match a requester's requirements. Findi...
155
click to vote
SSR
2001
15 years 7 months ago
2001
A quantitative study has shown that frame technology [1] supported by Fusion toolset can lead to reduction in time-tomarket (70%) and project costs (84%). Frame technology has bee...