1451 search results - page 199 / 291 » Order independence and rationalizability |
158
click to vote
PROMAS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
190
click to vote
RTA
2004
Springer
15 years 11 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
174
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
162
click to vote
APCSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Kernel memory is a resource that must be managed carefully in order to ensure the efficiency and safety of the system. The use of an inappropriate management policy can w...
172
click to vote
ATS
2003
IEEE
15 years 11 months ago
2003
IEEE
Fault diagnosis of full-scan designs has been progressed significantly. However, most existing techniques are aimed at a logic block with a single fault. Strategies on top of thes...