1948 search results - page 242 / 390 » Formalizing Mirror Theory |
149
click to vote
MSR
2006
ACM
16 years 18 days ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
184
click to vote
ICAIL
2005
ACM
16 years 6 days ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
141
Voted
ASM
2005
ASM
16 years 5 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
175
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
We analyze the notion of organizational structure in multiagent systems and explain the precise added value and the effects of such organizational structure on the involved agents...
147
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...