488 search results - page 87 / 98 » Derivation of Java Monitors |
WWW
2008
ACM
15 years 10 months ago
2008
ACM
In this paper we study the characteristics of search queries submitted from mobile devices using various Yahoo! oneSearch applications during a 2 months period in the second half ...
163
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
SAS
2009
Springer
15 years 10 months ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
SAC
2004
ACM
15 years 2 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
WOSP
2004
ACM
15 years 2 months ago
2004
ACM
Performance characteristics, such as response time, throughput and scalability, are key quality attributes of distributed applications. Current practice, however, rarely applies s...