9626 search results - page 1404 / 1926 » Invariant Based Programming |
220
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
181
click to vote
EDCC
2006
Springer
15 years 10 months ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
193
click to vote
ENC
2006
IEEE
15 years 10 months ago
2006
IEEE
Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and Artificial Intelligence (AI). Based on a proper repres...
171
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
239
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...