1676 search results - page 269 / 336 » Formal System Development with KIV |
157
click to vote
JUCS
2002
15 years 3 months ago
2002
: Managing image data in a database system using metadata has been practiced since the last two decades. However, describing an image fully and adequately with metadata is practica...
124
click to vote
TCS
2002
15 years 3 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
143
click to vote
TKDE
2002
15 years 3 months ago
2002
The construction and maintenance of data warehouses (views) in large-scale environments composed of numerous distributed and evolving information sources (ISs) such as the WWW has ...
149
Voted
PRESENCE
2007
15 years 3 months ago
2007
Causality is an important aspect of how we construct reality. Yet, while many psychological phenomena have been studied in their relation to virtual reality (VR), very little work...
278
click to vote
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...