452 search results - page 18 / 91 » Finding bugs is easy |
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— We explore an on-line problem where a group of robots has to reach a target whose position is known in an unknown planar environment whose geometry is acquired by the robots du...
FUIN
2008
13 years 8 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
TACAS
1998
Springer
14 years 4 days ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
This paper proposes a method for finding related Web pages based on connectivity information of hyperlinks. As claimed by Kumar, a complete bipartite graph of Web pages can be reg...
BIRD
2008
Springer
13 years 9 months ago
2008
Springer
The latest developments in DNA sequencing tech niques paved the way for tremendous increase in bio logical databases. Once the whole DNA sequen...