873 search results - page 139 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
177
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract — Wireless frequency resources are often the limiting factor for WLAN throughput. Hence, wireless channel management is needed to mitigate co-channel interference and im...
173
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
151
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
155
click to vote
JCP
2008
15 years 6 months ago
2008
Abstract--In this paper, we report some results on hardware and software co-design of an adaptive linear neuron (ADALINE) based control system. A discrete-time Proportional-Integra...
166
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...