913 search results - page 55 / 183 » Toward Formalizing Structured Analysis |
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we propose a novel approach for understanding and analyzing the online handwritten chemical formulas. With the structural characteristics, semantic rules, and more ...
DAC
1994
ACM
14 years 21 days ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
SAFECOMP
1998
Springer
14 years 23 days ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
ISER
1995
Springer
14 years 22 days ago
1995
Springer
We review the current state of research in autonomous mobile robots and conclude that there is an inadequate basis for predicting the reliability and behavior of robots operating ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Strategic management literature suggests that especially in young and dynamic industries Virtual Corporations are more likely to emerge, as this type of organization is flexible e...