4451 search results - page 301 / 891 » Continuous model synthesis |
178
click to vote
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...
213
click to vote
FORMATS
2004
Springer
15 years 10 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...
172
Voted
CORR
2007
Springer
15 years 6 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...
171
click to vote
GRC
2005
IEEE
16 years 9 days 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...
175
Voted
DBISP2P
2003
Springer
15 years 12 months 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...