1604 search results - page 134 / 321 » Development Separation in Lambda-Calculus |
FGR
2004
IEEE
14 years 2 months ago
2004
IEEE
Human Identification using gait is a challenging computer vision task due to the dynamic motion of gait and the existence of various sources of variations such as viewpoint, walki...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract---Service Oriented Architecture (SOA) is an architectural style to reuse and integrate existing systems for designing new applications. Each application is designed in an ...
FMCO
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
CSFW
2000
IEEE
14 years 2 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
ICSE
2000
IEEE-ACM
14 years 2 months ago
2000
IEEE-ACM
Tools and environments to aid developers in producing software have existed, in one form or another, since the early days of computer programming. They are becoming increasingly c...