Sciweavers

2957 search results - page 336 / 592
» Processing Self Corrections
Sort
View
TBILLC
2005
Springer
16 years 3 days ago
Doubling: The Semantic Driving Force Behind Functional Categories
In this paper I argue that syntactic categories are not part of UG but are acquired during first language acquisition as a result of doubling effects. In short, it is argued that a...
Hedde Zeijlstra
VLDB
2005
ACM
110views Database» more  VLDB 2005»
16 years 3 days ago
U-DBMS: A Database System for Managing Constantly-Evolving Data
In many systems, sensors are used to acquire information from external environments such as temperature, pressure and locations. Due to continuous changes in these values, and lim...
Reynold Cheng, Sarvjeet Singh, Sunil Prabhakar
WDAG
2005
Springer
92views Algorithms» more  WDAG 2005»
16 years 3 days ago
Plausible Clocks with Bounded Inaccuracy
In a distributed system with N processes, time stamps of size N (such as vector clocks) are necessary to accurately track potential causality between events. Plausible clocks are a...
Brad T. Moore, Paolo A. G. Sivilotti
SACMAT
2004
ACM
16 years 1 days ago
Role-based access control in ambient and remote space
In the era of Ubiquitous Computing and world–wide data transfer mobility, as an innovative aspect of professional activities, imposes new and complex problems of mobile and dist...
Horst Wedde, Mario Lischka
CONCUR
2004
Springer
16 years 21 hour ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes