1454 search results - page 78 / 291 » Stateful traits and their formalization |
107
click to vote
CORR
2008
Springer
15 years 21 days ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
85
Voted
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—We report that human walks performed in outdoor settings of tens of kilometers resemble a truncated form of Levy walks commonly observed in animals such as monkeys, birds and ja...
88
Voted
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
102
Voted
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
118
Voted
FASE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...