9504 search results - page 1765 / 1901 » Dynamic Substitution Model |
236
click to vote
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract-- Recent innovations in RFID technology are enabling large-scale cost-effective deployments in retail, healthcare, pharmaceuticals and supply chain management. The advent ...
154
click to vote
ICML
2000
IEEE
16 years 4 months ago
2000
IEEE
Humanoid robots are high-dimensional movement systems for which analytical system identification and control methods are insufficient due to unknown nonlinearities in the system s...
143
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
131
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Comparing and contrasting is an important strategy people employ to understand new situations and create solutions for new problems. Similar events can provide hints for problem s...
169
Voted
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...