×

Found 13 Documents (Results 1–13)

QoS aware adaptive security scheme for video streaming in MANETs. (English) Zbl 1335.94075

Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 5th international symposium, FPS 2012, Montreal, QC, Canada, October 25–26, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37118-9/pbk). Lecture Notes in Computer Science 7743, 324-340 (2013).
MSC:  94A60 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Preventing the cluster formation attack against the hierarchical OLSR protocol. (English) Zbl 1303.68049

Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12–13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 118-131 (2012).
MSC:  68P25 68M12 94A60
PDFBibTeX XMLCite
Full Text: DOI Link

Location oblivious distributed unit disk graph coloring. (English) Zbl 1201.05090

Prencipe, Giuseppe (ed.) et al., Structural information and communication complexity. 14th international colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72918-1/pbk). Lecture Notes in Computer Science 4474, 222-233 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Beyond the verification approach: the synthesis approach. (English) Zbl 1123.68067

Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 197-218 (2007).
MSC:  68Q60 68N30
PDFBibTeX XMLCite

Ad-hoc, mobile, and wireless networks. Second international conference ADHOC-NOW 2003, Montreal, Canada, October 8–10, 2003. Proceedings. (English) Zbl 1045.68868

Lecture Notes in Computer Science 2865. Berlin: Springer (ISBN 3-540-20260-9/pbk). x, 293 p. (2003).
MSC:  68U99 68-06 68M14
PDFBibTeX XMLCite

A protocol stack development tool using generative programming. (English) Zbl 1028.68671

Batory, Don (ed.) et al., Generative programming and component engineering. ACM SIGPLAN/SIGSOFT conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2487, 93-109 (2002).
MSC:  68U99 68N19
PDFBibTeX XMLCite
Full Text: Link

Extension of the Karp and Miller procedure to Lotos specifications. (English) Zbl 0797.68106

Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 103-119 (1991).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software