247 search results - page 15 / 50 » Development graphs - Proof management for structured specifi... |
DBPL
1993
Springer
15 years 3 months ago
1993
Springer
Fox Finding Objects of eXperiments is the declarative query language for Moose Modeling Objects Of Scienti c Experiments , an object-oriented data model at the core of a scient...
WWW
2003
ACM
16 years 11 days ago
2003
ACM
The World-Wide Web was originally developed as a shared, writable, hypertext medium, a facility that is still widely needed. We have recently developed a Web-based management repo...
108
click to vote
SIGCSE
2002
ACM
14 years 11 months ago
2002
ACM
We present our experience using a large, real-world application as a course project for the second half of the semester of a CS2 course. Our primary goal for the project was to cr...
IJCAI
2003
15 years 1 months ago
2003
Web personalization is the process of customizing a web site to the needs of each specific user or set of users, taking advantage of the knowledge acquired through the analysis of ...
110
click to vote
EDBT
2011
ACM
14 years 3 months ago
2011
ACM
The World Wide Web no longer consists just of HTML pages. Our work sheds light on a number of trends on the Internet that go beyond simple Web pages. The hidden Web provides a wea...