1547 search results - page 155 / 310 » The Isabelle Collections Framework |
130
click to vote
OOPSLA
2007
Springer
15 years 10 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...
162
click to vote
PDCAT
2007
Springer
15 years 10 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...
115
click to vote
GLOBECOM
2006
IEEE
15 years 10 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...
140
click to vote
ICMCS
2006
IEEE
15 years 10 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...
138
click to vote
ICMCS
2006
IEEE
15 years 10 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...