Sciweavers

705 search results - page 67 / 141
» Architecture in the Age of Compositionality
Sort
View
CBSE
2006
Springer
15 years 1 months ago
Verification of Component-Based Software Application Families
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Fei Xie, James C. Browne
EMS
2008
IEEE
15 years 4 months ago
Modelling the Relationship between Visual Short-Term Memory Capacity and Recall Ability
Previous cognitive modelling work has suggested that the decline of short-term memory (STM) capacity is the dominant factor of age-related decline on recall ability. We report the...
Richard Ll. Smith, Peter C. R. Lane, Fernand Gobet
AVI
2006
14 years 11 months ago
Improving access of elderly people to real environments: a semantic based approach
Access to real environments is often conditioned by a number of issues, including the skills of the user (i.e. affected by aging, physical and psychological deficiencies, etc.) an...
Fabio Pittarello, Alessandro De Faveri
I3E
2001
105views Business» more  I3E 2001»
14 years 11 months ago
XML-based Process Representation for e-Government Serviceflows
: Addressing new public challenges such as the one-stop government and improved service quality, we introduce serviceflow management as a generic concept to coordinate cross-organi...
Ralf Klischewski, Ingrid Wetzel
PDCN
2004
14 years 11 months ago
Ontoenvironment: An integration infrastructure for distributed heterogeneous resources
A new age of heterogeneous resource integration has begun. Next generation of integration systems will utilize different methods and techniques to achieve the vision of ubiquitous...
Oleksiy Khriyenko, Oleksandr Kononenko, Vagan Y. T...