652 search results - page 16 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
106
click to vote
AINA
2003
IEEE
15 years 2 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
103
click to vote
MCS
2002
Springer
14 years 10 months ago
2002
Springer
Abstract. Recent findings in the domain of combining classifiers provide a surprising revision of the usefulness of diversity for modelling combined performance. Although there is ...
INLG
2010
Springer
14 years 8 months ago
2010
Springer
In many areas of NLP reuse of utility tools such as parsers and POS taggers is now common, but this is still rare in NLG. The subfield of surface realisation has perhaps come clos...
DSN
2000
IEEE
15 years 2 months ago
2000
IEEE
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...
TROB
2008
14 years 10 months ago
2008
Abstract-- Stability analysis of decentralized control mechanisms for networked, coordinating systems has generally focused on specific controller implementations, such as nearest ...