4150 search results - page 702 / 830 » A Practical Approach to Model Extension |
110
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
206
Voted
B
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
132
Voted
AMT
2006
Springer
15 years 7 months ago
2006
Springer
In traditional Information Retrieval (IR), user profiles are often represented by keyword/concepts space vectors or by some predefined categories. Unfortunately, this data is often...
120
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
125
Voted
BALT
2006
15 years 7 months ago
2006
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...