Sciweavers

1413 search results - page 55 / 283
» ideas 2007
Sort
View
IS
2007
14 years 11 months ago
Aldat: A retrospective on a work in progress
level of abstraction which is not only ideally suited for processing data on secondary storage but which also readily absorbs important issues in computational parallelism and in d...
T. H. Merrett
ECSCW
2007
15 years 1 months ago
Cues to Common Knowledge
Abstract. We show that asynchronous collaboration can be made more effective by providing cues to common knowledge. We demonstrate this by empirically comparing two user interfaces...
Nick Bryan-Kinns, Patrick G. T. Healey, D. Papwort...
SDL
2001
125views Hardware» more  SDL 2001»
15 years 1 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
NAACL
2003
15 years 1 months ago
Category-based Pseudowords
A pseudoword is a composite comprised of two or more words chosen at random; the individual occurrences of the original words within a text are replaced by their conflation. Pseu...
Preslav Nakov, Marti A. Hearst
CCE
2008
14 years 12 months ago
Process scheduling under uncertainty: Review and challenges
Uncertainty is a very important concern in production scheduling since it can cause infeasibilities and production disturbances. Thus scheduling under uncertainty has received a l...
Zukui Li, Marianthi G. Ierapetritou