Search Sciweavers | Sciweavers

10539 search results - page 293 / 2108

» On L

140

click to vote

FAABS
2000
Springer

88views Intelligent Agents» more FAABS 2000»

Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude

15 years 10 months ago

Download www.cs.uwyo.edu

Jeffrey Van Baalen, James L. Caldwell, Shivakant M...

claim paper

Read More »

162

Voted

ICNP
1998
IEEE

81views Computer Networks» more ICNP 1998»

Reasoning About Active Network Protocols

15 years 10 months ago

Download www.cc.gatech.edu

Samrat Bhattacharjee, Kenneth L. Calvert, Ellen W....

claim paper

Read More »

138

click to vote

ICSE
1998
IEEE-ACM

70views Software Engineering» more ICSE 1998»

Techniques for Trusted Software Engineering

15 years 10 months ago

Download www.cs.ucdavis.edu

Premkumar T. Devanbu, Philip W. L. Fong, Stuart G....

claim paper

Read More »

124

click to vote

ISER
2000
Springer

72views Robotics» more ISER 2000»

Force-Based Interaction for Distributed Precision Assembly

15 years 10 months ago

Download www.msl.ri.cmu.edu

Richard T. DeLuca, Alfred A. Rizzi, Ralph L. Holli...

claim paper

Read More »

141

click to vote

KES
2000
Springer

104views Information Technology» more KES 2000»

A fuzzy adaptive neighborhood search for function optimization

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers