3742 search results - page 309 / 749 » On the Use of Formal Techniques for Validation |
187
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
221
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
180
click to vote
UML
2005
Springer
16 years 4 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
184
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Formal policies allow the non-ambiguous definition of situations in which usage of certain entities are allowed, and enable the automatic evaluation whether a situation i...
175
click to vote
BSN
2009
IEEE
16 years 1 months ago
2009
IEEE
—Human movement models often divide movements into parts. In walking the stride can be segmented into four different parts, and in golf and other sports, the swing is divided int...