Sciweavers

2550 search results - page 68 / 510
» Difference Decision Diagrams
Sort
View
MICCAI
2009
Springer
16 years 7 months ago
Topological Characterization of Signal in Brain Images Using Min-Max Diagrams
Abstract. We present a novel computational framework for characterizing signal in brain images via nonlinear pairing of critical values of the signal. Among the astronomically larg...
Moo K. Chung, Vikas Singh, Peter T. Kim, Kim M....
W4A
2006
ACM
16 years 2 days ago
GraSSML: accessible smart schematic diagrams for all
Graphical representations are a powerful way of conveying information. Their use has made life much easier for most sighted users, but people with disabilities or users who work i...
Zaineb Ben Fredj, David A. Duce
FASE
2005
Springer
15 years 11 months ago
Coverage Criteria for Testing of Object Interactions in Sequence Diagrams
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
Atanas Rountev, Scott Kagan, Jason Sawin
ROOM
2000
15 years 7 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
MODELS
2007
Springer
16 years 8 days ago
Deriving Operation Contracts from UML Class Diagrams
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
Jordi Cabot, Cristina Gómez