1547 search results - page 155 / 310 » The Isabelle Collections Framework |
166
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...
221
click to vote
PDCAT
2007
Springer
16 years 1 months ago
2007
Springer
—Grid system software is inherently complex, hard to build and maintain. In this paper, we propose a selfmanaging building block: Grid Unit, which facilitates constructing Grid s...
165
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
—This paper introduces a novel deployment time optimization technology for Internet services. Using the configuration information collected from the operation environment, the pr...
207
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
Location-aware computing enables automatic tailoring of information and services based on the current location of a mobile user. We have designed and implemented CMUseum, a system...
185
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
A novel framework is introduced for visual event detection. Visual events are viewed as stochastic temporal processes in the semantic concept space. In this concept-centered appro...