5343 search results - page 387 / 1069 » Keyword programming in java |
150
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Much of the work done in the field of tangible interaction has focused on creating tools for learning; however, in many cases, little evidence has been provided that tangible inte...
129
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
134
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
126
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Hardware transactional memory is a promising synchronization technology for chip-multiprocessors. It simplifies programming of concurrent applications and allows for higher concu...
124
click to vote
AINA
2008
IEEE
15 years 10 months ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...