Search Sciweavers | Sciweavers

9455 search results - page 39 / 1891

» The Modelling Language Zinc

click to vote

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 7 months ago

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

Voted

IFIP
1998
Springer

69views Programming Languages» more IFIP 1998»

An extended manufacturing management model: control principles and aspects in production networks

15 years 7 months ago

Download www.sintef.no

J. O. Stranshagen, H. Dreyer, E. Borgen

claim paper

Read More »

137

Voted

CTCS
1997
Springer

185views Programming Languages» more CTCS 1997»

Presheaf Models for the pi-Calculus

15 years 7 months ago

Download homepages.inf.ed.ac.uk

Gian Luca Cattani, Ian Stark, Glynn Winskel

claim paper

Read More »

118

Voted

ASPLOS
1996
ACM

103views Programming Languages» more ASPLOS 1996»

An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors

15 years 7 months ago

Download www.hpl.hp.com

Vijay S. Pai, Parthasarathy Ranganathan, Sarita V....

claim paper

Read More »

124

click to vote

UML
1997
Springer

267views Natural Language Processing» more UML 1997»

Business Process Modeling with EPC and UML: Transformation or Integration?

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers