3742 search results - page 587 / 749 » On the Use of Formal Techniques for Validation |
188
click to vote
INFOCOM
2008
IEEE
16 years 26 days ago
2008
IEEE
—We argue that the traditional notion of trust as a relation among entities, while useful, becomes insufficient for emerging data-centric mobile ad hoc networks. In these system...
122
click to vote
IWPC
2008
IEEE
16 years 25 days ago
2008
IEEE
Developers rely on the mechanisms provided by their IDE to browse and navigate a large software system. These mechanisms are usually based purely on a system’s static source cod...
149
click to vote
PIMRC
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract— Consider the problem of base-station and subcarrier assignment on the downlink of a two-cell OFDMA system with adaptive modulation. The aim is to maximize a common data...
166
click to vote
VL
2008
IEEE
16 years 25 days ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
160
click to vote
WCNC
2008
IEEE
16 years 25 days ago
2008
IEEE
—With the rapid growth of WLAN capability for mobile devices such as laptops, handhelds, mobile phones and vehicles, we will witness WLANs with very large numbers of active nodes...