2752 search results - page 437 / 551 » Rounding to an Integral Program |
206
click to vote
ITICSE
2006
ACM
16 years 11 days ago
2006
ACM
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...
174
click to vote
SIGCSE
2006
ACM
16 years 11 days ago
2006
ACM
interactive teaching materials, primarily because of its integration with the web through the applet mechanism. The 1997 and 1998 ITiCSE conferences convened working groups to deve...
148
click to vote
UIST
2006
ACM
16 years 10 days ago
2006
ACM
This article describes SwingStates, a library that adds state machines to the Java Swing user interface toolkit. Unlike traditional approaches, which use callbacks or listeners to...
154
click to vote
ACSAC
2005
IEEE
16 years 1 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
150
click to vote
CNSR
2005
IEEE
16 years 1 days ago
2005
IEEE
Although many multicast communication protocols have been recommended at IETF, reliable multicast communications currently rely on programs built at the application layer, e.g., m...