12 search results - page 1 / 3 » Leveraging software architectures to guide and verify the de... |
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
OOPSLA
2010
Springer
13 years 2 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
ISWC
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper we describe the MIThril 2003 wearable computing research platform. MIThril 2003 is a proven, accessible architecture that combines inexpensive, commodity hardware, a...
SACMAT
2005
ACM
13 years 10 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
Human operators of large-scale control systems face the problem of information overload induced by the large amount of information provided by multiple heterogeneous and highlydyn...