4451 search results - page 301 / 891 » Continuous model synthesis |
201
Voted
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
For a dynamic, evolving multiagent auction, we have developed an adaptive agent bidding strategy (called the p-strategy) based on stochastic modeling. The p-strategy takes into ac...
244
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
188
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We present an exactly solvable random-subcube model inspired by the structure of hard constraint satisfaction and optimization problems. Our model reproduces the structure of the s...
191
Voted
GRC
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper, we propose a linear control model for gene intervention in a genetic regulatory network. At each time step, finite controls are allowed to drive the network states...
190
click to vote
DBISP2P
2003
Springer
16 years 20 days ago
2003
Springer
The popularity of peer-to-peer search networks continues to grow, even as the limitations to the scalability of existing systems become apparent. We propose a simple model for sear...