2384 search results - page 353 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
131
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Authorship attribution is used to determine the creator of works among many candidates, playing a vital role in software forensics, authorship disputes and academic integrity inve...
171
click to vote
SDL
2007
15 years 5 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
126
click to vote
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
165
click to vote
CLUSTER
2000
IEEE
15 years 8 months ago
2000
IEEE
The present study treats the calculation of the continuous phase of a multiphase flow, i.e. the numerical solution of the equations for a turbulent incompressible flow. An exist...
119
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, multiple on-board sensors are used to assess the terrain safety in real-time during spacecraft descent. A linguistic, fuzzy rule-based reasoning engine is used t...