110 search results - page 2 / 22 » Translating Wigmore Diagrams |
FM
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
TCS
1998
13 years 5 months ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...
QEST
2008
IEEE
14 years 4 days ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
IFM
2009
Springer
14 years 9 days ago
2009
Springer
ICDAR
2009
IEEE
14 years 15 days ago
2009
IEEE
We present a method for the recognition of on-line handwritten commutative diagrams. Diagrams are formed with arrows that join relatively simple mathematical expressions. Diagram ...