Search Sciweavers | Sciweavers

457 search results - page 6 / 92

» Distributed verification with LoLA

click to vote

DALT
2004
Springer

121views Intelligent Agents» more DALT 2004»

Modeling and Verification of Distributed Autonomous Agents Using Logic Programming

13 years 11 months ago

Download centria.di.fct.unl.pt

Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...

L. Robert Pokorny, C. R. Ramakrishnan

claim paper

Read More »

click to vote

IJCAI
2007

145views Artificial Intelligence» more IJCAI 2007»

Dynamic Verification of Trust in Distributed Open Systems

13 years 9 months ago

Download www.aaai.org

Nardine Osman, David Robertson

claim paper

Read More »

click to vote

DBSEC
2004

70views Database» more DBSEC 2004»

Efficient Verification of Delegation in Distributed Group Membership Management

13 years 9 months ago

Download www.fpv.umb.sk

Ladislav Huraj, Helmut Reiser

claim paper

Read More »

click to vote

CDC
2009
IEEE

122views Control Systems» more CDC 2009»

Experimental verification of formation control with distributed cameras

13 years 8 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 »

click to vote

GLOBECOM
2008
IEEE

110views Communications» more GLOBECOM 2008»

Verification of Distributed Firewalls

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers