2838 search results - page 417 / 568 » Verifying Controlled Components |
108
Voted
ISLPED
2010
ACM
15 years 29 days ago
2010
ACM
Thermal energy harvesting using micro-scale thermoelectric generators is a promising approach to alleviate the power supply challenge in ultra low power systems. In thermal energy...
116
click to vote
AES
2008
Springer
15 years 27 days ago
2008
Springer
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
102
click to vote
ASE
2007
15 years 26 days ago
2007
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...
112
click to vote
EXPERT
2006
15 years 23 days ago
2006
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
97
Voted
JAIR
2008
15 years 22 days ago
2008
It has been widely observed that there is no single "dominant" SAT solver; instead, different solvers perform best on different instances. Rather than following the trad...