6171 search results - page 736 / 1235 » The FrameNet Data and Software |
188
click to vote
CODES
2005
IEEE
16 years 20 days ago
2005
IEEE
As wireless platforms converge to multimedia systems, architectures must converge to support voice, data, and video applications. From a processor architecture perspective, suppor...
198
click to vote
METRICS
2005
IEEE
16 years 19 days ago
2005
IEEE
Using OTS (Off-The-Shelf) components in software development has become increasingly popular in the IT industry. OTS components can be either COTS (Commercial-Off-The-Shelf), or O...
191
click to vote
SIGSOFT
2004
ACM
16 years 14 days ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
245
click to vote
IPPS
2003
IEEE
16 years 10 days ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
218
click to vote
SIGSOFT
2003
ACM
16 years 9 days ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...