Arkady Zaslavsky

Publikationer (298)

1. Correctness Analysis and Verification of Fuzzy Situations in Situation Aware Pervasive Computing Systems

   Boytsov, A.&Zaslavsky, A.201330 s.

   Publikation: Forskning›Rapport

2. Formal verification of context and situation models in pervasive computing

   Boytsov, A.&Zaslavsky, A.2013 i :Pervasive and Mobile Computing .9 ,1 ,s. 98-117.20 s.

   Publikation: Forskning - peer-review›Tidskriftsartikel

3. Situation-awareness and reasoning using uncertain context in mobile peer-to-peer environments

   Wibisono, W. ,Zaslavsky, A.& Ling, S.2013 i :International Journal of Pervasive Computing and Communications .9 ,1 ,s. 52 - 71.20 s.

   Publikation: Forskning - peer-review›Tidskriftsartikel

4. Adaptation support for agent based pervasive systems

   Gunasekera, K. , Krishnaswamy, S. , Loke, S. &Zaslavsky, A.2012 i:Mobile and Ubiquitous Systems: Computing, Networking, and Services: 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers. Heidelberg:Springer ,s. 90-101.12 s. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; Nr 73).

   Publikation: Forskning - peer-review›Artikel i konferenspublikation/proceedings

5. Building activity definitions to recognize complex activities using an online activity toolkit

   Saguna, S. ,Zaslavsky, A.& Chakraborty , D.2012 i:IEEE 13th International Conference on Mobile Data Management, MDM 2012. Piscataway, NJ:IEEE ,s. 344-347.4 s.

   Publikation: Forskning - peer-review›Artikel i konferenspublikation/proceedings

Mera...