2245 search results - page 159 / 449 » A Case Study Implementing Features Using AspectJ |
134
Voted
CN
2004
15 years 4 months ago
2004
The increasing popularity of streaming video is a cause for concern for the stability of the Internet because most streaming video content is currently delivered via UDP, without ...
146
click to vote
IAT
2010
IEEE
15 years 3 months ago
2010
IEEE
Ever increasing efforts are spent in developing techniques and tools for a full exploitation of semantics in mobile environments, able to overcome volatility and resource limitati...
163
Voted
ENTCS
2007
15 years 5 months ago
2007
Recently, we proposed a general framework for the cost analysis of Java bytecode which can be used for measuring resource usage. This analysis generates, at compile-time, cost rel...
142
Voted
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation ...
150
Voted
TLCA
1993
Springer
15 years 9 months ago
1993
Springer
This paper describes formalizations of Tait’s normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs p...