873 search results - page 123 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
157
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A number-conserving cellular automaton is a cellular automaton whose states are integers and whose transition function keeps the sum of all cells constant throughout its ...
198
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—Opportunistic wireless channel access by nonlicensed users has emerged as a promising solution for addressing the bandwidth scarcity challenge. Auctions represent a natu...
171
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
180
click to vote
VAMOS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract--One of the design goals of Product Line Architectures (PLAs) is to remain stable while accommodating changes of stakeholder's requirements. However, the stability of...
174
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...