9310 search results - page 1779 / 1862 » User interface continuations |
104
click to vote
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
116
click to vote
SSD
2005
Springer
15 years 7 months ago
2005
Springer
Most recent research on querying and managing data streams has concentrated on traditional data models where the data come in the form of tuples or XML data. Complex types of strea...
VLDB
2005
ACM
15 years 7 months ago
2005
ACM
To answer user queries, a data integration system employs a set of semantic mappings between the mediated schema and the schemas of data sources. In dynamic environments sources o...
109
click to vote
HPDC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper defines and describes a fully distributed implementation of Google’s highly effective Pagerank algorithm, for “peer to peer”(P2P) systems. The implementation is ...
ICAT
2003
IEEE
15 years 7 months ago
2003
IEEE
Traditionally film making costs a huge amount of money and a great deal of time and labor. Converting traditional techniques of film making into virtual techniques could save mone...