12670 search results - page 325 / 2534 » Requirements Modeling |
162
Voted
WAIM
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we propose FECT, a new modelling framework for describing and composing heterogenous Web services to satisfy emergent requirements. In FECT, a three-dimension descri...
192
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
190
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Search Computing defines a new class of applications, which enable end users to perform exploratory search processes over multi-domain data sources available on the Web. These appl...
179
click to vote
FSE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper, we propose a 2/3-rate double length compression function and study its security in the black-box model. We prove that to get a collision attack for the com...
171
click to vote
MCS
2001
Springer
15 years 11 months ago
2001
Springer
We provide several enhancements to our previously introduced algorithm for a sequential construction of a hybrid network of radial and perceptron hidden units [6]. At each stage, ...