1922 search results - page 98 / 385 » Systems biology, models, and concurrency |
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We derive optimal bidding strategies for a global bidding agent that participates in multiple, simultaneous second-price auctions with perfect substitutes. We first consider a mo...
ENTCS
2007
15 years 1 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
125
click to vote
CACM
2010
15 years 1 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
191
Voted
B
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
102
click to vote
ACSD
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex design processes, ha...