24132 search results - page 4544 / 4827 » and 2009 |
195
click to vote
DIS
2009
Springer
16 years 1 months ago
2009
Springer
We analyze the dynamics of problem-solving in a framework which captures two key features of that activity. The first feature is that problem-solving is a social game where a numb...
189
click to vote
DNA
2009
Springer
16 years 1 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
161
click to vote
DNA
2009
Springer
16 years 1 months ago
2009
Springer
Recently we have shown how molecular logic circuits with many components arranged in multiple layers can be built using DNA strand displacement reactions. The potential application...
152
click to vote
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model-based development is supposed to improve the development efficiency by raising the abstraction level and generating applications instead of manually coding the appl...
174
click to vote
ECOWS
2009
Springer
16 years 1 months ago
2009
Springer
—In service-oriented architectures, participants keep interacting by exchanging tasks, in order to increase their benefit. Since carrying out a task incurs costs, and participan...