Sciweavers

672 search results - page 106 / 135
» A framework for QoS-aware software components
Sort
View
ICEIS
1999
IEEE
13 years 11 months ago
Facilitating Organisational Activities Using Plans and Audits
Group Decision Support Systems (GDSS) present important limitations that constrain their usage in current organisations. The fundamental reason is the lack of integration in the c...
Carlos J. Costa, Tania Ho, Pedro Antunes
POPL
1997
ACM
13 years 11 months ago
Program Fragments, Linking, and Modularization
Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module syst...
Luca Cardelli
ICCHP
2010
Springer
13 years 11 months ago
HAIL: Hierarchical Adaptive Interface Layout
We present a framework to adapt software to the needs of individuals with severe motion disabilities who use mouse substitution interfaces. Typically, users are required to adapt t...
John J. Magee, Margrit Betke
EMISA
2006
Springer
13 years 11 months ago
Implementing a Service-Oriented Architecture for Small and Medium Organisations
: This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the Natio...
Pascal Bauler, Fernand Feltz, Nicolas Biri, Philip...
FM
2008
Springer
171views Formal Methods» more  FM 2008»
13 years 9 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...