Search Sciweavers | Sciweavers

10539 search results - page 293 / 2108

» On L

131

click to vote

FAABS
2000
Springer

88views Intelligent Agents» more FAABS 2000»

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

15 years 9 months ago

Download www.cs.uwyo.edu

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

claim paper

Read More »

142

click to vote

ICNP
1998
IEEE

81views Computer Networks» more ICNP 1998»

Reasoning About Active Network Protocols

15 years 9 months ago

Download www.cc.gatech.edu

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

claim paper

Read More »

127

click to vote

ICSE
1998
IEEE-ACM

70views Software Engineering» more ICSE 1998»

Techniques for Trusted Software Engineering

15 years 9 months ago

Download www.cs.ucdavis.edu

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

claim paper

Read More »

118

click to vote

ISER
2000
Springer

72views Robotics» more ISER 2000»

Force-Based Interaction for Distributed Precision Assembly

15 years 9 months ago

Download www.msl.ri.cmu.edu

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

claim paper

Read More »

131

click to vote

KES
2000
Springer

104views Information Technology» more KES 2000»

A fuzzy adaptive neighborhood search for function optimization

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers