Sciweavers

4037 search results - page 448 / 808
» Video performance in Java
Sort
View
CEC
2005
IEEE
15 years 10 months ago
Evolutionary Solo Pong players
An Internet Java Applet http://www.cs.essex.ac.uk/staff/poli/ SoloPong/ allows users anywhere to play the Solo Pong game. We compare people’s performance to a hand coded “Optim...
William B. Langdon, Riccardo Poli
ISESE
2005
IEEE
15 years 10 months ago
Managing software change tasks: an exploratory study
Programmers often have to perform change tasks that involve unfamiliar portions of a software system’s code base. To help inform the design of software development tools intende...
Jonathan Sillito, Kris De Volder, Brian Fisher, Ga...
WMTE
2005
IEEE
15 years 10 months ago
Supporting Classroom Activities with the BSUL Environment
In this paper we present our ongoing research about the integration of ubiquitous computing systems into classroom settings, in order to give basic support for some classroom and ...
Nobuji A. Saito, Hiroaki Ogata, Rosa G. J. Paredes...
TLDI
2005
ACM
126views Formal Methods» more  TLDI 2005»
15 years 10 months ago
Type inference for atomicity
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
ISAS
2005
Springer
15 years 10 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic