2274 search results - page 131 / 455 » Qualitative Modeling for Requirements Engineering |
169
click to vote
IPPS
2009
IEEE
16 years 28 days ago
2009
IEEE
Pipelined wavefront computations are a ubiquitous class of parallel algorithm used for the solution of a num ber of scientific and engineering applications. This paper investig...
163
click to vote
ISER
2004
Springer
15 years 11 months ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
155
click to vote
SAC
2006
ACM
16 years 7 days ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
134
click to vote
VAMOS
2007
Springer
16 years 11 days ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
163
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...