648 search results - page 97 / 130 » A Proposal for ASM Diagrams |
ICCD
2005
IEEE
14 years 5 months ago
2005
IEEE
In recent years, Boolean Satisfiability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—IP-XACT is a standard for describing intellectual property metadata for System-on-Chip (SoC) integration. Reesearchers have proposed visualizing and abstracting IP-XACT objects ...
ICST
2009
IEEE
14 years 3 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we propose the design of VoroNet, an objectbased peer to peer overlay network relying on Voronoi tessellations, along with its theoretical analysis and experimental...
AICCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...