2245 search results - page 167 / 449 » A Case Study Implementing Features Using AspectJ |
165
click to vote
TASLP
2010
15 years 1 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...
185
click to vote
CDC
2008
IEEE
16 years 1 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...
177
click to vote
AIIA
2005
Springer
16 years 12 days 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...
187
click to vote
ACIVS
2008
Springer
16 years 1 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...
146
click to vote
EUC
2007
Springer
16 years 1 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...