501 search results - page 42 / 101 » Diagram Techniques for Confluence |
227
click to vote
ISQED
2002
IEEE
15 years 6 months ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...
107
click to vote
ISVD
2010
IEEE
15 years 12 days ago
2010
IEEE
—The Voronoi Treemap is a space-filling treemap technique that relaxes the constraints of rectangular nodes. Its organic shapes maintain a one-to-one aspect ratio, are flexible...
130
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
79
Voted
CHI
2008
ACM
16 years 2 months ago
2008
ACM
This note discusses the design of an experimental API (application program interface) for vocal user interfaces. The emphasis is on component design which supports vocal interactio...
150
click to vote
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...