7557 search results - page 1290 / 1512 » Modeling Timed Concurrent Systems |
184
click to vote
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Lean buffering is the smallest buffer capacity, which is necessary and sufficient to ensure the desired production rate of a manufacturing system. Literature offers methods for des...
217
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Motivation: Data centers are a critical component of modern IT infrastructure but are also among the worst environmental offenders through their increasing energy usage and the re...
197
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
189
click to vote
SPAA
2005
ACM
16 years 22 days ago
2005
ACM
An asynchronous algorithm is described for rapidly constructing an overlay network in a peer-to-peer system where all nodes can in principle communicate with each other directly t...
198
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
A group signature scheme allows a group member to sign messages anonymously on behalf of the group, while in case of a dispute, a designated entity can reveal the identity of a si...