8022 search results - page 177 / 1605 » Predictability in Critical Systems |
172
click to vote
NAR
2008
15 years 6 months ago
2008
Arabidopsis thaliana Protein Interactome Database (AtPID) is an object database that integrates data from several bioinformatics prediction methods and manually collected informat...
196
click to vote
I3E
2001
15 years 7 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
205
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we propose a method for predicting the consequences of adding new components to an existing product line in the real-time systems domain. We refer to such a predicti...
170
Voted
MAGS
2010
15 years 4 months ago
2010
Abstract. Distributed cooperative applications (e.g., e-commerce) are now increasingly being designed as a set of autonomous entities, named agents, which interact and coordinate (...
144
click to vote
SAFECOMP
2007
Springer
16 years 5 days ago
2007
Springer
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulati...