5343 search results - page 893 / 1069 » Keyword programming in java |
166
click to vote
ISESE
2006
IEEE
16 years 14 days ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
148
click to vote
ISESE
2006
IEEE
16 years 14 days ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
155
click to vote
VTC
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— MobilitY and CollAboRative Work in European Vehicle Emergency NeTworks (MYCAREVENT) is an European Project of the 6th Framework Program [1], and aims to optimize the Eu...
178
click to vote
ACL2
2006
ACM
16 years 13 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
175
click to vote
ACL2
2006
ACM
16 years 13 days ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...