Sciweavers

15888 search results - page 216 / 3178
» Supporting human-intensive systems
Sort
View
156
Voted
DKE
2002
130views more  DKE 2002»
15 years 3 months ago
Smart card embedded information systems: a methodology for privacy oriented architectural design
The design of very small databases for smart cards and for portable embedded systems is deeply constrained by the peculiar features of the physical medium. Privacy concerns are re...
Cristiana Bolchini, Fabio A. Schreiber
138
Voted
SIGMETRICS
2000
ACM
147views Hardware» more  SIGMETRICS 2000»
15 years 3 months ago
High-capacity Internet middleware: Internet caching system architectural overview
Previous studies measuring the performance of general-purpose operating systems running large-scale Internet server applications, such as proxy caches, have identified design defi...
Gary Tomlinson, Drew Major, Ron Lee
117
Voted
ACL
2010
15 years 1 months ago
Beetle II: A System for Tutoring and Computational Linguistics Experimentation
We present BEETLE II, a tutorial dialogue system designed to accept unrestricted language input and support experimentation with different tutorial planning and dialogue strategie...
Myroslava Dzikovska, Johanna D. Moore, Natalie B. ...
132
Voted
HYBRID
2010
Springer
15 years 1 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...
97
Voted
WWW
2001
ACM
16 years 4 months ago
Supporting Deaf Sign Languages in Written Form on the Web
The SSiiggnnWWrritiitinngg system is a writing system for deaf sign languages. SSWWMMLL (SignWriting Markup Language) is an XML-based format that we are developing for the storage...
Antônio Carlos da Rocha Costa, Graçal...