2253 search results - page 285 / 451 » An Approach to Specifying Software Frameworks |
167
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
120
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
143
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
154
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
Most object tracking approaches either assume that the number of objects is constant, or that information about object existence is provided by some external source. Here, we show...
141
click to vote
ICDCSW
2003
IEEE
15 years 9 months ago
2003
IEEE
— Current Web servers use various API sets to access backend services. This model does not support service differentiation, overload control, caching of contents generated by bac...