5084 search results - page 777 / 1017 » Proving Possibility Properties |
170
click to vote
LCN
2005
IEEE
16 years 6 days ago
2005
IEEE
— Recent advances in microelectronic technology have made it possible to construct compact and inexpensive wireless sensors. Sensor networks have received significant attention ...
204
click to vote
STEP
2005
IEEE
16 years 6 days ago
2005
IEEE
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...
174
click to vote
VISUALIZATION
2005
IEEE
16 years 6 days ago
2005
IEEE
Visualization users are increasingly in need of techniques for assessing quantitative uncertainty and error in the images produced. Statistical segmentation algorithms compute the...
168
click to vote
WECWIS
2005
IEEE
16 years 6 days ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
160
click to vote
PASTE
2005
ACM
16 years 5 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...