192 search results - page 28 / 39 » Formal Reasoning About Causality Analysis |
142
click to vote
CEC
2007
IEEE
16 years 2 days ago
2007
IEEE
—Emergent behavior is an essential feature in multi-agent systems and plays a significant role in the applications of agent technology. Because of the huge gap between individual...
152
Voted
MKM
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
168
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
128
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
146
click to vote
PEPM
1994
ACM
15 years 9 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...