3676 search results - page 578 / 736 » Scalable component abstractions |
160
click to vote
TGC
2007
Springer
16 years 19 days 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...
164
click to vote
IROS
2006
IEEE
16 years 16 days 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...
160
click to vote
IWPC
2006
IEEE
16 years 16 days 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...
171
click to vote
SEFM
2006
IEEE
16 years 16 days 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...
172
click to vote
SKG
2006
IEEE
16 years 16 days 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...