3040 search results - page 278 / 608 » Synergetic Tool Environments |
198
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
156
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...
170
click to vote
CW
2004
IEEE
15 years 10 months ago
2004
IEEE
This article shows that the creation of cyberworlds (interactive virtual environments) can be an excellent educational tool covering a wide range of computer science and engineeri...
183
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Automated control of a virtual camera is useful for both linear animation and interactive virtual environments. We have constructed a knowledge-based system that allows users to e...
171
click to vote
DSML
2008
15 years 8 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...