721 search results - page 63 / 145 » A Living System Must Have Noncomputable Models |
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
97
Voted
ENTCS
2010
15 years 20 days ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
76
Voted
DBSEC
2000
15 years 1 months ago
2000
We propose two extensions to the SQL grant/revoke security model. In SQL, grants are unconditional, so the grantor must simply trust the recipient's discretion. We allow a gr...
153
click to vote
ECUMN
2007
Springer
15 years 6 months ago
2007
Springer
Pervasive systems enable us to have an overview of what digital environments will look like in the future. Opportunities given by pervasive systems, both in terms of applications ...
123
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In this paper, we present an image-based markerless human motion capture system, intended for humanoid robot systems. The restrictions set by this ambitious goal are nu...