392 search results - page 68 / 79 » Maximal Completion |
166
Voted
ICST
2009
IEEE
16 years 16 days ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
159
click to vote
WINE
2009
Springer
16 years 14 days ago
2009
Springer
We study an economic setting in which a principal motivates a team of strategic agents to exert costly effort toward the success of a joint project. The action taken by each agent...
154
click to vote
CONCUR
2009
Springer
16 years 14 days ago
2009
Springer
Nondeterministic weighted automata are finite automata with numerical weights on transitions. They define quantitative languages L that assign to each word w a real number L(w). ...
165
Voted
MEMBRANE
2009
Springer
16 years 13 days ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
169
Voted
INFOCOM
2008
IEEE
16 years 9 days ago
2008
IEEE
—Peer-to-peer (P2P) technology has emerged as a promising scalable solution for live streaming to large group. In this paper, we address the design of overlay which achieves low ...