10038 search results - page 1542 / 2008 » Model Checking for Managers |
193
click to vote
IAJIT
2008
15 years 6 months ago
2008
: Traffic shaping function becomes imperative for the new broadband services that are being deployed in order to avoid information loss, to provide the end users multiple traffic o...
184
click to vote
CONSTRAINTS
2006
15 years 6 months ago
2006
To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic constraint programming. Stochastic constraint programs conta...
168
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
An encounter-based network is a frequently-disconnected wireless ad-hoc network requiring nearby neighbors to store and forward data utilizing mobility and encounters over time. U...
206
click to vote
MAGS
2008
15 years 6 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
175
click to vote
PC
2006
15 years 6 months ago
2006
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...