12050 search results - page 1684 / 2410 » Modeling and Simulation |
218
click to vote
ICNP
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Radio frequency identification (RFID) is a technology where a reader device can “sense” the presence of a closeby object by reading a tag device attached to the obj...
177
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...
236
click to vote
NCA
2007
IEEE
16 years 1 months ago
2007
IEEE
The assessment of routing protocols for wireless networks is a difficult task, because of the networks’ highly dynamic behavior and the absence of benchmarks. However, some of ...
223
click to vote
RSP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
192
click to vote
ADAEUROPE
2007
Springer
16 years 1 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...