Sciweavers

9444 search results - page 70 / 1889
» The Language Model LMNtal
Sort
View
PLDI
2010
ACM
13 years 11 months ago
GUESSTIMATE: A Programming Model for Collaborative Distributed Systems
Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...
ICALP
1993
Springer
13 years 11 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
IBM
1990
13 years 11 months ago
Evolution of Data Models
Hans-Jörg Schek, Marc H. Scholl