5343 search results - page 754 / 1069 » Keyword programming in java |
156
click to vote
ERLANG
2006
ACM
16 years 21 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
172
click to vote
INFOSCALE
2006
ACM
16 years 20 days ago
2006
ACM
--Nowadays, the issue of the energy saving on the mobile client is becoming more and more concerned. Among those power conservation techniques, computation offloading schemes are b...
148
click to vote
ISSTA
2006
ACM
16 years 20 days ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
147
click to vote
ITICSE
2006
ACM
16 years 20 days ago
2006
ACM
In a small computer science department without a graduate program, it is sometimes difficult to attract research students. This is particularly true for research in computer visio...
192
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...