4890 search results - page 827 / 978 » From system specifications to component behavioral models |
SENSYS
2010
ACM
13 years 8 months ago
2010
ACM
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...
FLAIRS
2004
13 years 11 months ago
2004
TURING Test technologies are promising ways to validate AI systems which may have no alternative way to indicate validity. Human experts (validators) are often too expensive to in...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
GLOBECOM
2007
IEEE
2007
IEEE
Enhanced Adaptive Frequency Hopping for Wireless Personal Area Networks in a Coexistence Environment
14 years 4 months ago
— In this paper, we present an enhanced adaptive frequency hopping (EAFH) mechanism for improving the performance of frequency hopping-based wireless personal area networks (WPAN...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
While it is possible to accurately predict the execution time of a given iteration of an adaptive application, it is not generally possible to predict the data-dependent adaptive ...