Sciweavers

31387 search results - page 231 / 6278

» Abstracting abstract machines

145

AMAST
2000
Springer

87views Software Engineering» more AMAST 2000»

Random Access to Abstract Data Types

15 years 11 months ago

Random Access to Abstract Data Types

Download www.fernuni-hagen.de

Martin Erwig

claim paper

Read More »

146

AOSE
2000
Springer

75views Intelligent Agents» more AOSE 2000»

Organizational Abstractions for the Analysis and Design of Multi-agent Systems

15 years 11 months ago

Organizational Abstractions for the Analysis and Design of Multi-agent Systems

Download www.jos.org.cn

Franco Zambonelli, Nicholas R. Jennings, Michael W...

claim paper

Read More »

118

AOSE
2000
Springer

76views Intelligent Agents» more AOSE 2000»

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

15 years 11 months ago

Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments

Download www.cs.vu.nl

Catholijn M. Jonker, Jan Treur, Wieke de Vries

claim paper

Read More »

145

CL
2000
Springer

115views Automated Reasoning» more CL 2000»

Abstract Syntax for Variable Binders: An Overview

15 years 11 months ago

Abstract Syntax for Variable Binders: An Overview

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

160

ECOOP
2000
Springer

96views Programming Languages» more ECOOP 2000»

Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction

15 years 11 months ago

Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction

Download www.ifs.uni-linz.ac.at

ions for Publish/Subscribe Interaction Patrick Th. Eugster1 , Rachid Guerraoui1 , and Joe Sventek2 1 Swiss Federal Institute of Technology, Lausanne 2 Agilent Laboratories Scotland...

Patrick Th. Eugster, Rachid Guerraoui, Joe Sventek

claim paper

Read More »

« Prev « First page 231 / 6278 Last » Next »