Sciweavers

9443 search results - page 6 / 1889
» Web-centric language models
Sort
View
147
Voted
TOOLS
1997
IEEE
15 years 11 months ago
Requirements Modeling
Tim Hastings
PLDI
2010
ACM
15 years 11 months ago
GUESSTIMATE: A Programming Model for Collaborative Distributed Systems
Kaushik Rajan, Sriram Rajamani, Shashank Yaduvansh...
ICALP
1993
Springer
15 years 11 months ago
Local Model Checking for Context-Free Processes
Hardi Hungar, Bernhard Steffen
158
Voted
IFIP
1994
Springer
15 years 11 months ago
Towards a model of exploration in computer-aided design
John S. Gero