1055 search results - page 157 / 211 » order 2002 |
139
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...
159
click to vote
CSCW
2002
ACM
15 years 5 months ago
2002
ACM
Conventions are necessary to establish in any recurrent cooperative arrangement. In electronic work, they are important so as to regulate the use of shared objects. Based on empir...
165
click to vote
CSL
2002
Springer
15 years 5 months ago
2002
Springer
The last decade has witnessed substantial progress in speech recognition technology, with todays state-of-the-art systems being able to transcribe unrestricted broadcast news audi...
179
click to vote
CTW
2002
15 years 5 months ago
2002
ive. This characterization leads to model-based abstractions and representation design techniques as potential solutions. Many of the existing approaches to coping with data overlo...
179
click to vote
CUZA
2002
15 years 5 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...