Christian Hoareau

PhD thesis, 2009

Modeling and Processing Information for Context-Aware Computing: A Survey.

[BibT_eX]

[DOI]

New Gener. Comput., 2009

From model checking to data management in pervasive computing: a location-based query-processing framework.

[BibT_eX]

[DOI]

Proceedings of the 2009 international conference on Pervasive services, 2009

Considering Personal Profiles for Comfortable and Efficient Interactions with Smart Clothes.

[BibT_eX]

[DOI]

Gilsoo Cho

Proceedings of the Human-Computer Interaction. Ambient, 2009

2008

Query Language for Location-Based Services: A Model Checking Approach.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2008

Human Universality in Ubiquitous Computing: Maslow, Where Are You?

[BibT_eX]

[DOI]

Hiromichi Hashizume

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

Hybrid Logics and Model Checking: A Recipe for Query Processing in Location-Aware Environments.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

Fundamental Needs in Intelligent Environments: Specificities for Older Adults.

[BibT_eX]

[DOI]

Hiromichi Hashizume

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

Design of a Ubiquitous System for Affective Bonding and Support within the Family.

[BibT_eX]

[DOI]

Hiromichi Hashizume

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

A Model Checking-Based Approach for Location Query Processing in Pervasive Computing Environments.

[BibT_eX]

[DOI]