Sciweavers

648 search results - page 34 / 130
» A Proposal for ASM Diagrams
Sort
View
APSEC
2005
IEEE
14 years 1 months ago
Towards Aspect-Oriented Class Diagrams
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...
Gefei Zhang
UIST
1999
ACM
13 years 12 months ago
Integrated Manipulation: Context-Aware Manipulation of 2D Diagrams
Diagram manipulation in conventional CAD systems requires frequent mode switching and explicit placement of the pivot for rotation and scaling. In order to simplify this process, ...
Masaaki Honda, Takeo Igarashi, Hidehiko Tanaka, Sh...
RTA
2010
Springer
13 years 11 months ago
Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
Takahito Aoto
BCSHCI
2007
13 years 9 months ago
Using hierarchies to support non-visual access to relational diagrams
This paper describes an approach to support non-visual exploration of graphically represented information. We used a hierarchical structure to organize the information encoded in ...
Oussama Metatla, Nick Bryan-Kinns, Tony Stockman
COMMA
2008
13 years 9 months ago
Basic influence diagrams and the liberal stable semantics
Abstract. This paper is concerned with the general problem of constructing decision tables and more specifically, with the identification of all possible outcomes of decisions. We ...
Paul-Amaury Matt, Francesca Toni