4451 search results - page 39 / 891 » Continuous model synthesis |
156
click to vote
ICONIP
2009
15 years 2 months ago
2009
Abstract. We present a model for the multiagent patrolling problem with continuous-time. An anytime and online algorithm is then described and extended to asynchronous multiagent d...
146
click to vote
OSDI
2000
ACM
15 years 6 months ago
2000
ACM
The tradeoffs between consistency, performance, and availability are well understood. Traditionally, however, designers of replicated systems have been forced to choose from eithe...
132
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
155
click to vote
MANSCI
2010
14 years 12 months ago
2010
Businesses often need to face the problem of providing incentives for employees to work together effectively on projects that develop over time. This paper derives the optimal con...
185
click to vote
IWFM
2003
15 years 6 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...