10159 search results - page 1969 / 2032 » System Design Validation Using Formal Models |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Current methods of estimating air quality involve assigning a single value called the Air Quality Index (AQI) to a large land area for a 24-hour period based on a very few, sparse...
APSEC
2008
IEEE
14 years 2 months ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
— The lack of robust tamper-proofing techniques in security applications has provided attackers the ability to virtually circumvent mathematically strong cryptographic primitive...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— Link and node reliability are important metrics in wireless ad hoc networks. Therefore, evaluating and quantifying reliability has become the cornerstone of research in this ...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— One of the most notable and recognizable features of robot motion is the abrupt transitions between actions in action sequences. In contrast, humans and animals perform sequenc...