4290 search results - page 345 / 858 » Formal Approaches to Teamwork |
211
click to vote
TAPSOFT
1997
Springer
15 years 12 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
188
click to vote
ISSTA
1989
ACM
15 years 11 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
232
click to vote
ALGOSENSORS
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
204
click to vote
EDOC
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
218
click to vote
ESWS
2006
Springer
15 years 11 months ago
2006
Springer
Classifications have been used for centuries with the goal of cataloguing and searching large sets of objects. In the early days it was mainly books; lately it has also become Web ...