Deductive verification of real-time systems using STeP

By Bjorner N.S.   Manna Z.   Sipma H.B.   Uribe T.E.  

Theoretical Computer Science, Vol. 253, Iss. 1, 2001-02 ,pp. : 27-60

Elsevier

Access to resources Recommend Favorite

Using S2P for routing awareness in tuple-based pervasive systems

By Rahmani Shahpour   Sharifi Mohsen   Kolahdooz Saman  

International Journal of Internet Protocol Technology, Vol. 4, Iss. 2, 2009-07 ,pp. : 91-98

Inderscience Publishers

Access to resources Recommend Favorite

Reducing network traffic in unstructured P2P systems using Top-k queries

By Akbarinia Reza   Pacitti Esther   Valduriez Patrick  

Distributed and Parallel Databases, Vol. 19, Iss. 2-3, 2006-05 ,pp. : 67-86

Springer Publishing Company

Access to resources Recommend Favorite

On spiking neural P systems

By Ibarra Oscar   Pérez-Jiménez Mario   Yokomori Takashi  

Natural Computing, Vol. 9, Iss. 2, 2010-06 ,pp. : 475-491

Springer Publishing Company

Access to resources Recommend Favorite

Spatial P systems

By Barbuti Roberto  

Natural Computing, Vol. 10, Iss. 1, 2011-03 ,pp. : 3-16

Springer Publishing Company

Access to resources Recommend Favorite