1454 search results - page 95 / 291 » Stateful traits and their formalization |
99
Voted
IFM
1999
Springer
15 years 5 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
85
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
115
Voted
GRAMMARS
1998
15 years 10 days ago
1998
From the perspective of the linguist, the theory of formal languages serves as an abstract model to address issues such as complexity, learnability, information content, etc. which...
73
Voted
JAR
2002
15 years 10 days ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...
156
click to vote
SBMF
2010
Springer
14 years 7 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...