10038 search results - page 1484 / 2008 » Model Checking for Managers |
187
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
With the near ubiquity of mobile phones, people are reachable almost anywhere and at any time. At the same time we see an increasing need for people to limit their interactions on...
187
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— NetFlow is a solution to make an in-depth traffic analysis possible in IP networks. Most of the telecommunication operators have already deployed it, or intend to do so, for n...
186
click to vote
HPDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Utility functions can be used to represent the value users attach to job completion as a function of turnaround time. Most previous scheduling research used simple synthetic repre...
159
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— For the design of an automated transportation system in an actual seaport container terminal, it is necessary to take into consideration the maintenance of operating robots (AG...
187
click to vote
VR
2007
IEEE
16 years 1 months ago
2007
IEEE
Wildfires are a frequent summer-time concern for land managers and communities neighboring wildlands throughout the world. Computational simulations have been developed to help an...