53302 search results - page 431 / 10661 » Meta-Design: Design for Designers |
162
click to vote
MUC
1992
15 years 11 months ago
1992
This paper reports on the results of the adjunct test performed by GE for the MUC-4 evaluation of text processing systems . In this test, we evaluated the effect of an object-orie...
137
click to vote
CONCUR
1989
Springer
15 years 10 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
153
click to vote
ANCS
2007
ACM
15 years 10 months ago
2007
ACM
Next-generation Internet architectures require designs with inherent security guarantees. We present a network architecture that uses credentials to audit traffic in the data path...
179
click to vote
AUIC
2004
IEEE
15 years 10 months ago
2004
IEEE
Developers have long used pictures to aid design activities and there has been a lot of interest in standard notations for design. We have developed delegation diagrams, a graphic...
162
click to vote
RSP
1998
IEEE
15 years 10 months ago
1998
IEEE
A technique to include virtual prototyping in the design cycle of complex digital modem ASICs is presented. It is innovating by using the same behavioral description for both the ...