5608 search results - page 584 / 1122 » Structure description tools |
174
click to vote
FMOODS
2007
15 years 8 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
126
click to vote
HCI
2007
15 years 8 months ago
2007
An increasing, degree of rich and dynamic content and abundant links are making Web pages visually cluttered. This paper presents a numerical tool to evaluate the screen complexity...
199
click to vote
SEMWIKI
2008
15 years 8 months ago
2008
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for form...
171
click to vote
SERVICES
2008
15 years 8 months ago
2008
Numerical simulators are frequently used to assess future risks, support remediation and monitoring program decisions, and assist in design of specific remedial actions with respe...
212
click to vote
EPK
2004
15 years 8 months ago
2004
: This paper presents an approach to map EPC business process models available in EPML to Scalable Vector Graphics (SVG) and websites. This mapping has been implemented as an XSLT ...