182 search results - page 27 / 37 » Design by Contract Deontic Design Language for Multiagent Sy... |
100
click to vote
TAMODIA
2004
15 years 1 months ago
2004
In a Multiple User Interfaces (MUI) context, several models must be defined and adapted (tasks, user, .). Abstract models are progressively enriched in concrete models using patte...
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
101
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
ASPLOS
1989
ACM
15 years 3 months ago
1989
ACM
A very long instruction word (VLIW) processorexploits parallelism by controlling multiple operations in a single instruction word. This paper describes the architecture and compil...
145
click to vote
EATIS
2009
ACM
15 years 2 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...