5407 search results - page 680 / 1082 » The Software Engineering Global Model |
225
Voted
RE
2004
Springer
16 years 28 days ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
198
click to vote
WADT
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
216
click to vote
WER
2004
Springer
16 years 28 days ago
2004
Springer
With the evolution of the Web evolving towards the Semantic Web, where the information should be presented in a meaningful way for both humans and machines, arises the need for sem...
190
click to vote
AC
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
215
click to vote
AC
2003
Springer
16 years 25 days ago
2003
Springer
In this paper a new complete system for 3D face recognition is presented. 3D face recognition presents several advantages against 2D face recognition, as, for example, invariance t...