110 search results - page 2 / 22 » Translating Wigmore Diagrams |
FM
2005
Springer
15 years 3 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...
104
click to vote
TCS
1998
14 years 9 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
15 years 3 months 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...
69
Voted
IFM
2009
Springer
15 years 4 months ago
2009
Springer
ICDAR
2009
IEEE
15 years 4 months 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 ...