Sciweavers

11462 search results - page 1882 / 2293
» Developing Application-Centric Methods
Sort
View
KBSE
1998
IEEE
15 years 11 months ago
Automated Integrative Analysis of State-based Requirements
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
Barbara J. Czerny, Mats Per Erik Heimdahl
KBSE
1998
IEEE
15 years 11 months ago
An Automated Approach for Supporting Software Reuse via Reverse Engineering
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng
SBRN
1998
IEEE
15 years 11 months ago
A Neural Architecture for the Identification of Number Sequences
This paper describes an architecture based on spatiotemporal networks that identifies sequences of numbers. This architecture incorporates an input layer that transforms (by means...
Juan Moreno García, Gabriel Sebastiá...
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
15 years 11 months ago
Strand Spaces: Why is a Security Protocol Correct?
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Gu...
ACCV
1998
Springer
15 years 11 months ago
Montage: An Image Database for the Fashion, Textile, and Clothing Industry in Hong Kong
Abstract. The fashion, textile, and clothing industry is a main constituent in Hong Kong. In this industry, handling a large amount of images is an important task in various phases...
Tak-Kan Lau, Irwin King
« Prev « First page 1882 / 2293 Last » Next »