187 search results - page 33 / 38 » Formal Semantics of the ProCom Real-Time Component Model |
FMCO
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
MKWI
2008
14 years 3 days ago
2008
: We introduce infrastructure monitoring as an application domain that demands decentralized system designs. This is motivated by the large scale of these systems, the heterogeneit...
POPL
2000
ACM
14 years 2 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
GIS
2009
ACM
14 years 5 months ago
2009
ACM
Gazetteers are key components of georeferenced information systems, including applications such as Web-based mapping services. Existing gazetteers lack the capabilities to fully i...
COSIT
1999
Springer
14 years 3 months ago
1999
Springer
The project CommonGIS1 aims at building a system allowing users to view and analyze geographically referenced thematic data. The system is oriented to the general public, i.e. peop...