660 search results - page 36 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
128
Voted
FORTE
2007
15 years 3 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
113
click to vote
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
173
click to vote
SEW
2006
IEEE
15 years 8 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
125
Voted
ITP
2010
15 years 27 days ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...