Context-aware counter abstraction

Author： Basler Gérard   Mazzucchi Michele   Wahl Thomas   Kroening Daniel  

Publisher： Springer Publishing Company

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.36, Iss.3, 2010-09, pp. : 223-245

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A survey on context-aware systems

By Baldauf Matthias   Dustdar Schahram   Rosenberg Florian  

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 2, Iss. 4, 2007-06 ,pp. : 263-277

Inderscience Publishers

Access to resources Recommend Favorite

Autonomic Pervasive and Context-Aware Systems

By Lewis David   Dobson Simon  

Journal of Network and Systems Management, Vol. 15, Iss. 1, 2007-03 ,pp. : 1-3

Springer Publishing Company

Access to resources Recommend Favorite

On context-aware distributed event dissemination

By Lin Chen  

Personal and Ubiquitous Computing, Vol. 15, Iss. 3, 2011-03 ,pp. : 305-314

Springer Publishing Company

Access to resources Recommend Favorite

A Context-Aware Language Model for Spoken Query Retrieval

By Zhong Yapin   Gilbert Juan  

International Journal of Speech Technology, Vol. 8, Iss. 2, 2005-06 ,pp. : 203-219

Springer Publishing Company

Access to resources Recommend Favorite

Context-aware design of adaptable multimodal documents

By Celentano Augusto   Gaggi Ombretta  

Multimedia Tools and Applications, Vol. 29, Iss. 1, 2006-04 ,pp. : 7-28

Springer Publishing Company

Access to resources Recommend Favorite