6020 search results - page 541 / 1204 » A New Approach to Model Counting |
194
click to vote
ICW
2005
IEEE
16 years 21 days ago
2005
IEEE
Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...
250
click to vote
ESAS
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
155
click to vote
HYBRID
2004
Springer
16 years 14 days ago
2004
Springer
This paper presents a new solution approach to the optimal control problem of fixed frequency switch-mode DC-DC converters using hybrid systems methodologies. In particular, the n...
191
click to vote
DELTA
2002
IEEE
16 years 1 days ago
2002
IEEE
A new method for hierarchical fault simulation based on multi-level Decision Diagrams (DD) is proposed. We suppose that a register transfer (RT) level information along with gate-...
129
click to vote
FQAS
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes a new approach for describing contents through the use of interlinguas in order to facilitate the extraction of specific pieces of information. The authors hig...