10038 search results - page 1662 / 2008 » Model Checking for Managers |
199
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Truly ubiquitous computing poses new and significant challenges. A huge number of heterogeneous devices will interact to perform complex distributed tasks. One of the key aspects...
183
click to vote
SECON
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
161
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
— Recent efforts to address microprocessor power dissipation through aggressive supply voltage scaling and power management require that designers be increasingly cognizant of po...
137
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
Although many different measures of website effectiveness have been developed, few studies have rigorously compared and contrasted the measures. Based on the organizational effect...
190
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
— In this work we develop Markovian models to study the dynamics of elastic calls in a cell served by HSDPA and WiMAX systems. We first present analytical models for interferenc...