4460 search results - page 874 / 892 » Formal methods for interactive systems |
CGO
2010
IEEE
14 years 2 months ago
2010
IEEE
Managed runtime systems, such as a Java virtual machine (JVM), are complex pieces of software with many interacting components. The Just-In-Time (JIT) compiler is at the core of t...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
The abuse of online games by automated programs, known as game bots, for gaining unfair advantages has plagued millions of participating players with escalating severity in recent...
ISORC
2009
IEEE
14 years 2 months ago
2009
IEEE
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
We consider experiments to measure the quality of a web search algorithm based on how much total time users take to complete assigned search tasks using that algorithm. We first ...
EVOW
2007
Springer
14 years 1 months ago
2007
Springer
Understanding the self-regulatory mechanisms controlling the spatial and temporal structure of multicellular organisms represents one of the major challenges in molecular biology. ...