4564 search results - page 223 / 913 » Data Integration Using ID-Logic |
156
click to vote
CATA
2007
15 years 7 months ago
2007
This paper addresses the issue of determining the iteration bound for a synchronous data flow graph (SDFG) and determining whether or not a SDFG is live based on some calculations...
171
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— By combining a low-order model of forecast errors, the extended Kalman filter, and classical continuous optimization, we develop an integrated methodology for planning mobile ...
182
click to vote
ZUM
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
159
click to vote
ISCC
2006
IEEE
16 years 12 days ago
2006
IEEE
In this paper, an anomaly detection approach that fuses data gathered from different nodes in a distributed wireless sensor network is proposed and evaluated. The emphasis of this...
190
click to vote
SIGOPSE
1994
ACM
15 years 10 months ago
1994
ACM
Integrated circuit cards or smart cards are now well-known. Applications such as electronic purses (cash units stored in cards), subscriber identification cards used in cellular te...