Sciweavers

368 search results - page 4 / 74
» A Layered Software Architecture for Quantum Computing Design...
Sort
View
CHI
2008
ACM
14 years 6 months ago
Employing patterns and layers for early-stage design and prototyping of cross-device user interfaces
Designing UIs that run across multiple devices is increasingly important. To address this, we have created a prototyping tool called Damask, which targets web UIs that run on PCs ...
James Lin, James A. Landay
ISORC
2000
IEEE
13 years 10 months ago
Architecture, Design Methodology, and Component-Based Tools for a Real-Time Inspection System
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
John Albert Horst
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
13 years 11 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
FIDJI
2003
Springer
13 years 11 months ago
Seamless UML Support for Service-Based Software Architectures
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
Matthias Tichy, Holger Giese
FM
1999
Springer
107views Formal Methods» more  FM 1999»
13 years 10 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...