Sciweavers

7206 search results - page 203 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
EUROMICRO
1999
IEEE
15 years 10 months ago
Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation
This paper proposes and evaluates error detection and recovery mechanisms suitable for embedded systems. The purpose of these mechanisms is to provide detection of and recovery fr...
Martin Hiller
KCAP
2009
ACM
16 years 29 days ago
Biomedical knowledge engineering tools based on experimental design: a case study based on neuroanatomical tract-tracing experim
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
Gully A. P. C. Burns, Thomas A. Russ
ER
2007
Springer
106views Database» more  ER 2007»
16 years 19 days ago
Extending Argumentation to Goal-Oriented Requirements Engineering
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-go...
Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Ke...
LAWEB
2005
IEEE
16 years 1 days ago
A Parallel Search Engine with BSP
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...
Veronica Gil Costa, Mauricio Marín
ITRUST
2005
Springer
15 years 12 months ago
Modeling Social and Individual Trust in Requirements Engineering Methodologies
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, N...