3948 search results - page 639 / 790 » Integration Workbench: Integrating Schema Integration Tools |
163
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
Sound Candy is a device with which anyone in the world can create his/her own playground anywhere of using sounds and movements around him/her. In our daily life, we are surrounde...
166
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
182
click to vote
AICCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
Location Based Services (LBSs) provide personalized services to the subscribers based on their current position using Global Navigation Satellite System (GNSS), Geographic Informa...
168
click to vote
EMNETS
2007
15 years 10 months ago
2007
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedd...
184
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
—Discrete gate sizing is one of the most commonly used, flexible, and powerful techniques for digital circuit optimization. The underlying problem has been proven to be NP-hard ...