3820 search results - page 215 / 764 » Bounded Model Debugging |
138
click to vote
ENTCS
2007
15 years 3 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
141
Voted
DASFAA
2008
IEEE
15 years 5 months ago
2008
IEEE
The increase in the advanced location based services such as traffic coordination and management necessitates the need for advanced models tracking the positions of Moving Objects ...
122
Voted
JSYML
2008
15 years 1 months ago
2008
Much previous study has been done on the degree spectra of prime models of a complete atomic decidable theory. Here we study the analogous questions for homogeneous models. We say...
134
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an adaptive, feedback-based, energy estimation model for battery-powered embedded devices such as sensor network gateways and hand-held computers. Our technique maps ha...
120
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Multiagent research provides an extensive literature on formal Belief-Desire-Intention (BDI) based models describing the notions of teamwork and cooperation, but adversarial and c...