4880 search results - page 129 / 976 » Mechanism Design by Creditability |
187
click to vote
METRICS
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper describes the results of a study where the impact of Object-Oriented design on software quality characteristics is experimentally evaluated. A suite of metrics for OO d...
184
click to vote
ET
2002
15 years 6 months ago
2002
We propose an integrated framework for the design of SOC test solutions, which includes a set of algorithms for early design space exploration as well as extensive optimization for...
188
click to vote
SASO
2007
IEEE
16 years 23 days ago
2007
IEEE
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
117
click to vote
ICRA
2007
IEEE
16 years 24 days ago
2007
IEEE
—In this paper we present the design of a swallowable (11mm diameter by 25mm long), 12-legged endoscopic capsule for locomotion in the lower gastro intestinal tract (large bowel)...
180
click to vote
ISSTA
1996
ACM
15 years 10 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...