Sciweavers

11214 search results - page 134 / 2243

» Programming Multi-agent Systems

231

POPL
2002
ACM

127views Programming Languages» more POPL 2002»

A type system for certified binaries

16 years 6 months ago

A type system for certified binaries

Download www.softlab.ntua.gr

Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos...

claim paper

Read More »

154

ESOP
2004
Springer

96views Programming Languages» more ESOP 2004»

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

15 years 11 months ago

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

Download www.macs.hw.ac.uk

Sébastien Carlier, Jeff Polakow, J. B. Well...

claim paper

Read More »

165

ICALP
2009
Springer

90views Programming Languages» more ICALP 2009»

Multiple Random Walks and Interacting Particle Systems

15 years 11 months ago

Multiple Random Walks and Interacting Particle Systems

Download www.dcs.kcl.ac.uk

Colin Cooper, Alan M. Frieze, Tomasz Radzik

claim paper

Read More »

102

IFIP
2009
Springer

115views Programming Languages» more IFIP 2009»

Formal Grammars for Product Data Management on Distributed Manufacturing Systems

15 years 11 months ago

Formal Grammars for Product Data Management on Distributed Manufacturing Systems

Download www.uninova.pt

Rui M. Sousa, Paulo J. Martins, Rui M. Lima

claim paper

Read More »

103

IFIP
2001
Springer

73views Programming Languages» more IFIP 2001»

Security Vulnerabilities and System Intrusions - The Need for Automatic Response Frameworks

15 years 10 months ago

Security Vulnerabilities and System Intrusions - The Need for Automatic Response Frameworks

Download folk.uio.no

Steven Furnell, Maria Papadaki, G. Magklaras, A. A...

claim paper

Read More »

« Prev « First page 134 / 2243 Last » Next »