3557 search results - page 424 / 712 » Authoring Presentation for OpenMath |
224
click to vote
ADAEUROPE
2007
Springer
16 years 25 days ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
148
click to vote
TPHOL
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract. We compare the styles of several proof assistants for mathematics. We present Pythagoras’ proof of the irrationality of √ 2 both informal and formalized in (1) HOL, (...
223
click to vote
W4A
2006
ACM
16 years 18 days ago
2006
ACM
We argue that while work to optimize the accessibility of the World Wide Web through the publication and dissemination of a range of guidelines is of great importance, there is al...
174
click to vote
QSIC
2005
IEEE
16 years 7 days ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
184
click to vote
ISW
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present gore, a routing-assisted defense architecture against distributed denial of service (DDoS) attacks that provides guaranteed levels of access to a network under...