Sciweavers

2446 search results - page 174 / 490
» Principles of dataspace systems
Sort
View
WOWMOM
2005
ACM
99views Multimedia» more  WOWMOM 2005»
15 years 6 months ago
Small Worlds and the Security of Ubiquitous Computing
This paper considers the small-world phenomenon in two contexts: ubiquitous computing and security. We argue that small-world properties emerge in ubicomp systems due to their nat...
Harald Vogt
79
Voted
HT
2004
ACM
15 years 6 months ago
Navigational hypertext models For physical hypermedia environments
In this paper we identify a common aim between ubiquitous computing and hypertext systems: the desire to present navigable, located and structured information. We propose that exi...
David E. Millard, David De Roure, Danius T. Michae...
85
Voted
FQAS
2004
Springer
63views Database» more  FQAS 2004»
15 years 6 months ago
On Querying Ontologies and Databases
This paper concerns the motivation for and subsequently the analysis of proposed additions, in the form of new operators, to a concept language Ontolog for use in querying a conten...
Henrik Bulskov, Rasmus Knappe, Troels Andreasen
118
Voted
FOSSACS
2003
Springer
15 years 6 months ago
Type Assignment for Intersections and Unions in Call-by-Value Languages
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
Joshua Dunfield, Frank Pfenning
ITICSE
2000
ACM
15 years 5 months ago
Enter the usability engineer: integrating HCI and software engineering
This paper examines the role of Human Computer Interaction in the context of the Computer Science and Software Engineering curricula. We suggest there needs to be much more integr...
Xristine Faulkner, Fintan Culwin