2500 search results - page 366 / 500 » Specifying Behavior in C |
162
click to vote
ICDCS
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper studies the use of pricing as an incentive mechanism to encourage private, self-interested nodes to participate in a public wireless mesh network and cooperate in the p...
176
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
— Tracking of miniature robotic platforms involves major challenges in image recognition and data association. We present our 3-year effort into developing the platform-independe...
180
click to vote
ISCAS
2006
IEEE
16 years 21 days ago
2006
IEEE
– Increasing logic densities and clock frequencies on FPGAs lead to rapid increase in power density, which translates to higher on-chip temperature. In this paper, we investigate...
163
click to vote
ISCC
2006
IEEE
16 years 21 days ago
2006
IEEE
Distributed network intrusion detection systems which incorporate tens, hundreds, even thousands, of sensors are becoming increasing popular. Managing and presenting the informati...
179
click to vote
RTCSA
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...