10908 search results - page 373 / 2182 » Requirements Engineering Tasks |
158
click to vote
ADBIS
2010
Springer
15 years 4 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
143
click to vote
COMCOM
2006
15 years 4 months ago
2006
This paper addresses the issue of delivering solutions that will enable the incremental implementation of inter-domain quality of service (QoS) in the multi-provider commercial In...
134
click to vote
TSE
2010
15 years 2 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
122
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we present the venture of porting two different algorithms for solving the two-dimensional advection PDE on the CBE platform, an in-place and an outof-place one, and ...
149
Voted
TKDE
2010
14 years 10 months ago
2010
The RETE algorithm is a very efficient option for the development of a rule-based system, but it supports only boolean, first order logic. Many real-world contexts, instead, requir...