Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
533
search results - page 19 / 107
»
Verification of Distributed Firewalls
Sort
relevance
views
votes
recent
update
View
thumb
title
13
click to vote
IJCAI
2007
145
views
Artificial Intelligence
»
more
IJCAI 2007
»
Dynamic Verification of Trust in Distributed Open Systems
13 years 11 months ago
Download
www.aaai.org
Nardine Osman, David Robertson
claim paper
Read More »
29
click to vote
DBSEC
2004
70
views
Database
»
more
DBSEC 2004
»
Efficient Verification of Delegation in Distributed Group Membership Management
13 years 11 months ago
Download
www.fpv.umb.sk
Ladislav Huraj, Helmut Reiser
claim paper
Read More »
25
click to vote
CDC
2009
IEEE
122
views
Control Systems
»
more
CDC 2009
»
Experimental verification of formation control with distributed cameras
13 years 11 months ago
Download
www.nt.ntnu.no
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
He Bai, Karen D. Chapin, John Wason, John T. Wen
claim paper
Read More »
21
click to vote
EMISA
2002
Springer
79
views
Information Technology
»
more
EMISA 2002
»
Distributed verification with LoLA
13 years 9 months ago
Download
sunsite.informatik.rwth-aachen.de
Karsten Schmidt 0004
claim paper
Read More »
28
click to vote
COMCOM
1999
63
views
more
COMCOM 1999
»
Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification
13 years 9 months ago
Download
www.dmst.aueb.gr
Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...
claim paper
Read More »
« Prev
« First
page 19 / 107
Last »
Next »