2613 search results - page 300 / 523 » Proposal for Tools Supporting Component Based Programming |
174
click to vote
ESOP
2004
Springer
16 years 13 days ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
203
click to vote
ITC
1996
IEEE
15 years 11 months ago
1996
IEEE
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...
168
click to vote
JSW
2007
15 years 7 months ago
2007
Abstract—Frameworks are a key technology to reduce software development costs and shorten the time-to-market. However, framework complexity presents reuse problems that limit its...
158
click to vote
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Integrated systems are composed of components that exchange information (i.e., interoperate [5]). These components include Graphical User Interface (GUI) APplications (GAPs) an...
196
click to vote
FPL
2010
Springer
15 years 5 months ago
2010
Springer
Due to the continuously decreasing cost of FPGAs, they have become a valid implementation platform for SOCs. Typically, a soft core processor implementation is used to execute the ...