1268 search results - page 113 / 254 » High Impact Requirements Engineering |
109
click to vote
ARCS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
102
click to vote
GCC
2006
Springer
15 years 5 months ago
2006
Springer
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
118
click to vote
IESA
2007
15 years 3 months ago
2007
In this paper we propose a new approach for service-oriented enterprise application integration (EAI). Unlike current EAI solutions, which mainly focus on technological aspects, ou...
MKWI
2008
15 years 2 months ago
2008
: In order to respond quickly to changing market requirements, a business organisation needs to increase the level of agility in all phases of the business process engineering chai...
121
click to vote
VLSI
2010
Springer
14 years 12 months ago
2010
Springer
—This paper proposes a novel technique to exploit the high bandwidth offered by through silicon vias (TSVs). In the proposed approach, synchronous parallel 3D links are replaced ...