231 search results - page 2 / 47 » A Brief Overview of PVS |
TPHOL
2009
IEEE
13 years 12 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
ISCAS
2007
IEEE
13 years 11 months ago
2007
IEEE
— Over the last few decades, complex networks have been intensively studied throughout many fields of science, especially in biological and engineering sciences. This paper brie...
CORR
1998
Springer
13 years 5 months ago
1998
Springer
KI
2010
Springer
13 years 3 months ago
2010
Springer
ICMCS
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper provides a brief overview of recent progress of peer-to-peer (P2P) technologies for multimedia applications. We provide an overview of the technical challenges, creativ...