Sciweavers

4870 search results - page 52 / 974
» Construction of Wavelets and Applications
Sort
View
INFOCOM
2003
IEEE
15 years 11 months ago
Construction of an Efficient Overlay Multicast Infrastructure for Real-time Applications
Suman Banerjee, Christopher Kommareddy, Koushik Ka...
FM
2003
Springer
96views Formal Methods» more  FM 2003»
15 years 11 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
COMPGEOM
2010
ACM
15 years 11 months ago
New constructions of SSPDs and their applications
Mohammad Ali Abam, Sariel Har-Peled