3024 search results - page 207 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
177
click to vote
RE
2007
Springer
16 years 18 days ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
154
click to vote
EWSA
2005
Springer
16 years 1 days ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
162
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
175
click to vote
AC
2003
Springer
15 years 11 months 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...
137
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...