5451 search results - page 1001 / 1091 » Typed Operational Semantics |
129
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
145
click to vote
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
130
click to vote
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
In distributed software engineering, the role of informal communication is frequently overlooked. Participants simply employ their own ad-hoc methods of informal communication. Co...
143
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
142
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...