172 search results - page 4 / 35 » How to Specialize by Theory Refinement |
LCTRTS
2005
Springer
15 years 3 months ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
107
click to vote
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
—Multi-core technology is becoming the mainstream of processor architecture. It is a great challenge for universities to offer students new theories because of the continuous cha...
AOSE
2003
Springer
15 years 2 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
123
click to vote
KR
1994
Springer
15 years 1 months ago
1994
Springer
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...
FAC
2010
14 years 7 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...