Sciweavers

1436 search results - page 124 / 288
» Language Support for Managing Variability in Architectural M...
Sort
View
HOTOS
2003
IEEE
14 years 2 months ago
Flexible OS Support and Applications for Trusted Computing
Trusted computing (e.g. TCPA and Microsoft’s NextGeneration Secure Computing Base) has been one of the most talked about and least understood technologies in the computing commu...
Tal Garfinkel, Mendel Rosenblum, Dan Boneh
TAMODIA
2004
13 years 10 months ago
Task models and interaction models in a multiple user interfaces generation process
In a Multiple User Interfaces (MUI) context, several models must be defined and adapted (tasks, user, .). Abstract models are progressively enriched in concrete models using patte...
Kinan Samaan, Franck Tarpin-Bernard
INTEROP
1999
Springer
146views GIS» more  INTEROP 1999»
14 years 1 months ago
Architecture Considerations for Advanced Earth Observation Application Systems
Application systems in the earth observation area can be characterised as distributed, platform-inhomogeneous, complex, and cost intensive information systems. In order to manage t...
Hermann Ludwig Möller, Marcello Mariucci, Ber...
TWEB
2010
164views more  TWEB 2010»
13 years 7 months ago
A distributed service-oriented architecture for business process execution
The Business Process Execution Language (BPEL) standardizes the development of composite enterprise applications that make use of software components exposed as Web services. BPEL...
Guoli Li, Vinod Muthusamy, Hans-Arno Jacobsen
JLP
2006
126views more  JLP 2006»
13 years 9 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky