3820 search results - page 307 / 764 » Bounded Model Debugging |
149
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Existing work on cross-layer optimization for wireless networks adopts simple physical-layer models, i.e., treating interference as noise. In this paper, we adopt a dete...
213
Voted
LAWEB
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper presents a model-based approach for developing vectorial user interfaces to an interactive applications, whether it is a web or a stand-alone applications. A vectoria...
147
click to vote
SUM
2009
Springer
15 years 10 months ago
2009
Springer
Bayesian networks are probabilistic graphical models widely employed in AI for the implementation of knowledge-based systems. Standard inference algorithms can update the beliefs a...
150
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
144
click to vote
ESA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The small world phenomenon, a.k.a. the six degree of separation between individuals, was identified by Stanley Milgram at the end of the 60s. Milgram experiment demonstr...