7690 search results - page 1407 / 1538 » On the semantics of informational independence |
175
click to vote
PLDI
2005
ACM
16 years 15 hour ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
162
click to vote
WWW
2005
ACM
16 years 12 hour ago
2005
ACM
Integrating web sites to provide more efficient services is a very promising way in the Internet. For example searching house for rent based on train system or preparing a holiday...
170
click to vote
CIKM
2005
Springer
16 years 32 min ago
2005
Springer
It has long been recognized that capturing term relationships is an important aspect of information retrieval. Even with large amounts of data, we usually only have significant ev...
162
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
157
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
A significant amount of information is stored in computer systems today, but people are struggling to manage their documents such that the information is easily found. XML is a de...