2245 search results - page 167 / 449 » A Case Study Implementing Features Using AspectJ |
131
click to vote
TASLP
2010
14 years 11 months ago
2010
Reproducing a sampled sound field using an array of loudspeakers is a problem with well-appreciated applications to acoustics and ultrasound treatment. Loudspeaker signal design ha...
138
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
144
click to vote
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
We designed and implemented a software system, called WebCrow, that represents the first solver for Italian crosswords and the first system that tackles a language game using the...
145
click to vote
ACIVS
2008
Springer
15 years 11 months ago
2008
Springer
This paper presents the design and real-time implementation of a fall-detection system, aiming at detecting fall incidents in unobserved home situations. The setup employs two fix...
122
Voted
EUC
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we propose the HEC-PF scheme, an enhancement of our previous H-EC scheme for effective data forwarding in opportunistic networks. The enhanced scheme modifies the a...