7404 search results - page 547 / 1481 » New Tools in Education |
342
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
144
click to vote
TEI
2010
ACM
16 years 2 months ago
2010
ACM
This paper considers a new approach that allows for the creation of typographic works through gestural interaction. It describes a prototype application called TextDraw, which is ...
189
click to vote
ACSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Malware is software with malicious intent. Besides viruses and worms, spyware, adware, and other newer forms of malware have recently emerged as widely-spread threats to system se...
227
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
179
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...