Sciweavers

641 search results - page 102 / 129
» An Architectural Approach to Mobility - The Handover Case St...
Sort
View
ESEC
1997
Springer
15 years 6 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
APCSAC
2001
IEEE
15 years 5 months ago
Stacking them up: a Comparison of Virtual Machines
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
K. John Gough
EDOC
2008
IEEE
15 years 3 months ago
Supporting Service-Oriented Design with Metrics
The service-oriented architectural style is widely perceived today. However, service orientation is a very general concept and its application in real-life situations is somewhat ...
Helge Hofmeister, Guido Wirtz
CIKM
2010
Springer
15 years 16 days ago
Meta-metadata: a metadata semantics language for collection representation applications
Collecting, organizing, and thinking about diverse information resources is the keystone of meaningful digital information experiences, from research to education to leisure. Meta...
Andruid Kerne, Yin Qu, Andrew M. Webb, Sashikanth ...
MODELS
2010
Springer
15 years 11 days ago
Extending Variability for OCL Interpretation
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
Claas Wilke, Michael Thiele, Christian Wende