10159 search results - page 1879 / 2032 » System Design Validation Using Formal Models |
WWW
2003
ACM
14 years 9 months ago
2003
ACM
The World Wide Web has not only revolutionized the area of traditional hypermedia, it is also starting to influence adaptive hypermedia research. The main feature of the World Wid...
KDD
2003
ACM
14 years 8 months ago
2003
ACM
In this paper we study the problem of constructing accurate decision tree models from data streams. Data streams are incremental tasks that require incremental, online, and any-ti...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper, the problem of deploying relay nodes in wireless sensor networks will be considered. A system consisting of a set of sensor nodes communicating to a fusion center...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—We consider opportunistic spectrum access (OSA) strategies for a transmitter in a multichannel wireless system, where a channel may or may not be available and the transmitter m...
NOCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Network-on-Chip (NoC) architectures have a wide variety of parameters that can be adapted to the designer’s requirements. Fast exploration of this parameter space is only possib...