276 search results - page 29 / 56 » Decomposition tool for event-B |
CSCWD
2009
Springer
15 years 4 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
WCRE
2008
IEEE
15 years 4 months ago
2008
IEEE
Concept location techniques are designed to help isolate sections of source code that relate to specific concepts. Blind Signal Separation techniques like Singular Value Decompos...
DSD
2006
IEEE
15 years 3 months ago
2006
IEEE
We propose a novel two-level Boolean minimizer coming in succession to our previously developed minimizer BOOM, so we have named it BOOM-II. It is a combination of two minimizers,...
72
Voted
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
Hierarchical diagrams are well-suited for visualizing the structure and decomposition of complex systems. However, the current tools poorly support modeling, visualization and nav...
102
click to vote
CAMP
2005
IEEE
15 years 3 months ago
2005
IEEE
- The SVG (Scalable Vector Graphics) standard allows representing complex graphical scenes by a collection of graphic vectorial-based primitives, offering several advantages with r...