1888 search results - page 161 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
119
Voted
SASO
2010
IEEE
15 years 1 months ago
2010
IEEE
The design and implementation of distributed, self-organising and self-adaptive systems are challenging. In this article we report on our experience gained during the development o...
129
Voted
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
133
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
147
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
In most web sites, web-based applications (such as web portals, emarketplaces, search engines), and in the file systems of personal computers, a wide variety of schemas (such as t...
139
Voted
AROBOTS
2004
15 years 3 months ago
2004
We introduce a framework, called "physicomimetics," that provides distributed control of large collections of mobile physical agents in sensor networks. The agents sense...