65 search results - page 6 / 13 » Using Speed Diagrams for Symbolic Quality Management |
FMCAD
2004
Springer
15 years 2 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
MMNS
2000
14 years 10 months ago
2000
: This paper presents an evaluation of a traffic management mechanism for high speed networks called RDMA (Route Division Multiple Access), developed as part of the Isochronets, a ...
WOWMOM
2005
ACM
15 years 3 months ago
2005
ACM
We propose a reputation-based trust management system, ROCQ, to reduce inauthentic and corrupted file transfers in end-user collaborative content-distribution systems. Such syste...
CAISE
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
CHI
1998
ACM
15 years 1 months ago
1998
ACM
Designers and researchers of human-computer interaction need tools that permit the rapid exploration and management of hypotheses about complex interactions of designs, task condi...