5608 search results - page 598 / 1122 » Structure description tools |
149
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
116
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We present Apatite, a new tool that aids users in learning and understanding a complex API by visualizing the common associations between its various components. Current object-or...
138
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. EulerView incorporates a non-hierarchical classification structure to enable enhanced resource management. We apply the EulerView concept to the use of urls, constructin...
213
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
208
click to vote
WECWIS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...