Search Sciweavers | Sciweavers

10539 search results - page 267 / 2108

» On L

137

click to vote

AOSE
2001
Springer

96views Intelligent Agents» more AOSE 2001»

Automated Derivation of Complex Agent Architectures from Analysis Specifications

15 years 10 months ago

Download www.auml.org

Clint H. Sparkman, Scott A. DeLoach, Athie L. Self

claim paper

Read More »

133

click to vote

FM
2001
Springer

85views Formal Methods» more FM 2001»

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware

15 years 10 months ago

Download www.ics.uci.edu

Nalini Venkatasubramanian, Carolyn L. Talcott, Gul...

claim paper

Read More »

122

click to vote

ICCBR
2001
Springer

109views Automated Reasoning» more ICCBR 2001»

Improved Performance Support through an Integrated Task-Based Video Case Library

15 years 10 months ago

Download www.tomhinrichs.com

Christopher L. Johnson, Larry Birnbaum, Ray Bareis...

claim paper

Read More »

click to vote

ICCS
2001
Springer

70views Applied Computing» more ICCS 2001»

The Model Coupling Toolkit

15 years 10 months ago

Download www.ipd.anl.gov

Jay Walter Larson, Robert L. Jacob, Ian T. Foster,...

claim paper

Read More »

click to vote

ICS
2001
Tsinghua U.

129views Distributed And Parallel Com...» more ICS 2001»

Array language support for parallel sparse computation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers