648 search results - page 20 / 130 » A Proposal for ASM Diagrams |
COMPSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
—Many efficient random testing algorithms for object-oriented software have been proposed due to their simplicity and reasonable code coverage; however, even the stateof-the-art...
FAC
2010
13 years 5 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
ICDAR
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we present AgentSketch, an agentbased system for on-line recognition of hand-drawn diagrams. Agents are used for managing the activity of symbol recognizers and for ...
CHI
1995
ACM
13 years 11 months ago
1995
ACM
Big information worlds cause big problems for interfaces. There is too much to see. They are hard to navigate. An armada of techniques has been proposed to present the many scales...
APCCM
2009
13 years 8 months ago
2009
It is frequent in practice that different logical XML schemas representing the same reality from different viewpoints exist. There is also usually a conceptual diagram modeling th...