133 search results - page 12 / 27 » diagrams 2000 |
CORR
2000
Springer
13 years 7 months ago
2000
Springer
Network firewalls and routers use a rule database to decide which packets will be allowed from one network onto another. By filtering packets the firewalls and routers can improve...
DIAGRAMS
2000
Springer
13 years 12 months ago
2000
Springer
Bar charts are common data representations in scientific and technical papers. In order to recognize the printed bar charst, we present a new Hough based bar chart recognition algo...
FUIN
2007
13 years 7 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
CAISE
2000
Springer
13 years 12 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
ASM
2000
ASM
13 years 12 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...