3069 search results - page 259 / 614 » Thinking about Technology |
169
Voted
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
165
click to vote
MHCI
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. In this paper we describe a new method and user interface for interactive positioning of a mobile device. The key element of this method is a questionanswer style dialogu...
179
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
In recent years, several information retrieval methods using information about the Web-links are developed, such as HITS and Trawling. In order to analyze the Web-links dividing i...
206
click to vote
WEBI
2001
Springer
15 years 11 months ago
2001
Springer
As meta-data become of ever more importance to the Web, we will need to start managing such meta-data. We argue that there is a strong need for meta-data validation and aggregation...
189
click to vote
ADB
1994
15 years 10 months ago
1994
Database applications and technologies are of central importance in many information systems a person may encounter. To obtain services, the end-users are required a smart card (pl...