2245 search results - page 194 / 449 » A Case Study Implementing Features Using AspectJ |
164
click to vote
CONCURRENCY
2002
15 years 5 months ago
2002
In this paper, we outline the design of a recommendation system (MyPYTHIA) implemented as a web portal. MyPYTHIA's design objectives include evaluating the quality and perfor...
164
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
With recent advances in sensory and mobile computing technology, enormous amounts of data about moving objects are being collected. One important application with such data is aut...
155
Voted
BIBE
2007
IEEE
16 years 12 days ago
2007
IEEE
—This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
189
click to vote
ESOP
1994
Springer
15 years 10 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
189
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...