Sciweavers

4894 search results - page 329 / 979
» Choices
Sort
View
IPPS
2000
IEEE
15 years 12 months ago
A Quantitative Assessment of Thread-Level Speculation Techniques
Speculative thread-level parallelism has been recently proposed as an alternative source of parallelism that can boost the performance for applications where independent threads a...
Pedro Marcuello, Antonio González
CSCW
2000
ACM
15 years 11 months ago
Interaction and outeraction: instant messaging in action
We discuss findings from an ethnographic study of instant messaging (IM) in the workplace and its implications for media theory. We describe how instant messaging supports a varie...
Bonnie A. Nardi, Steve Whittaker, Erin Bradner
SIGIR
2000
ACM
15 years 11 months ago
An investigation of linguistic features and clustering algorithms for topical document clustering
We investigate four hierarchical clustering methods (single-link, complete-link, groupwise-average, and single-pass) and two linguistically motivated text features (noun phrase he...
Vasileios Hatzivassiloglou, Luis Gravano, Ankineed...
AMAST
2000
Springer
15 years 11 months ago
Behavioural Subtyping Relations for Object-Oriented Formalisms
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OOformalisms is closely related to the concept of inheri...
Clemens Fischer, Heike Wehrheim
179
Voted
BPM
2000
Springer
106views Business» more  BPM 2000»
15 years 11 months ago
Using Formal Analysis Techniques in Business Process Redesign
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...
Kees M. van Hee, Hajo A. Reijers