7075 search results - page 131 / 1415 » Models and heterogeneous reasoning |
104
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we illustrate a preliminary approach to the translation of Web data between heterogeneous formats. This work fits into a larger project whose aim is the development...
166
click to vote
TMC
2008
15 years 3 months ago
2008
Intrusion detection in Wireless Sensor Network (WSN) is of practical interest in many applications such as detecting an intruder in a battlefield. The intrusion detection is define...
155
click to vote
TII
2010
14 years 10 months ago
2010
With growing cost of electricity, the power management of server clusters has become an important problem. However, most previous researchers only address the challenge in homogen...
125
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Real-time streaming signal processing systems typically desire high throughput and low latency. Many such systems can be modeled as synchronous data flow graphs. In this paper, w...
124
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...