Framework for Local Ambient Intelligence Space: The AmI-Space Project

Authors:
Chen Rui;Hou Yi-bin;Huang Zhang-qin;Zhang Yong;Li Hui
Affiliations:
Beijing University of Technology, Beijing 100022, China;Beijing University of Technology, Beijing 100022, China;Beijing University of Technology, Beijing 100022, China;Beijing University of Technology, Beijing 100022, China;Beijing University of Technology, Beijing 100022, China
Venue:
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Year:
2007

Citing 0
Cited 3

Methods for model-based reasoning within agent-based Ambient Intelligence applications

Knowledge-Based Systems
An ambient agent model for monitoring and analysing dynamics of complex human behaviour

Journal of Ambient Intelligence and Smart Environments
An ambient agent model for monitoring and analysing dynamics of complex human behaviour

Journal of Ambient Intelligence and Smart Environments

Quantified Score

Hi-index	0.00

Visualization

Abstract

Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written in aspect-oriented languages. Pipa is a BISL tailored to AspectJ for specifying ...