7404 search results - page 198 / 1481 » New Tools in Education |
127
click to vote
SCAM
2007
IEEE
16 years 25 days ago
2007
IEEE
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...
169
click to vote
SPIN
2007
Springer
16 years 20 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
168
click to vote
IWPC
2005
IEEE
16 years 4 days ago
2005
IEEE
Incremental software change adds new functionality to software. It is the foundation of software evolution, maintenance, iterative development, agile development, and other softwa...
179
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
While frameworks and application programming interfaces for virtual reality are commonplace today, designing scenarios for virtual environments still remains a tedious and time co...
163
click to vote
ACL
2003
15 years 8 months ago
2003
We have developed willex, a tool that helps grammar developers to work efficiently by using annotated corpora and recording parsing errors. Willex has two major new functions. Fi...