2133 search results - page 206 / 427 » Implementation of a SystemC based Environment |
144
click to vote
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
117
click to vote
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
This paper describes a new wavelet-based denoising algorithm based on a non-stationary noise assumption. Even though stationary noise models can simplify the development and imple...
130
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
106
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— A new lossy compression method is proposed for haptic (force, velocity) data as exchanged in bilateral telepresence systems. The method is based on the passive extrapolative co...
116
click to vote
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we describe the opportunistic localization, which enables localization services that works seamlessly in heterogeneous environments including indoors as oppose to G...