3676 search results - page 578 / 736 » Scalable component abstractions |
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
103
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— This paper describes an investigation into the control of autonomous mobile sensor platforms in a marine sensor network used to provide monitoring of transitory phenome...
IWPC
2006
IEEE
15 years 6 months ago
2006
IEEE
: Alborz is a multi-view, interactive, and wizard-based software architecture reconstruction and evaluation toolkit that takes advantage of the Eclipse plug-in technology to provid...
116
click to vote
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
102
Voted
SKG
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...