1116 search results - page 64 / 224 » Applying Predicate Abstraction to Abstract State Machines |
NETWORKING
2010
15 years 2 months ago
2010
Abstract--Malicious and misconfigured nodes can inject incorrect state into a distributed system, which can then be propagated system-wide as a result of normal network operation. ...
115
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Particle filters have been applied with great success to various state estimation problems in robotics. However, particle filters often require extensive parameter tw...
120
Voted
ICCD
2005
IEEE
15 years 6 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
133
Voted
TFS
2008
15 years 1 months ago
2008
Abstract--This paper considers the automatic design of fuzzyrule-based classification systems from labeled data. The performance of classifiers and the interpretability of generate...
SENSYS
2006
ACM
15 years 7 months ago
2006
ACM
Event-driven programming is a popular model for writing programs for tiny embedded systems and sensor network nodes. While event-driven programming can keep the memory overhead do...