Sciweavers

4447 search results - page 122 / 890
» Service Interaction Patterns
Sort
View
ICFP
2008
ACM
16 years 4 months ago
Pattern minimization problems over recursive data types
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
Alexander Krauss
IJWIS
2007
117views more  IJWIS 2007»
15 years 4 months ago
Patterns and transitions of query reformulation during web searching
— Purpose: To investigate and identify the patterns of interaction between searchers and search engine during Web searching. Design: We examined 2,465,145 interactions from 534,5...
Bernard J. Jansen, Mimi Zhang, Amanda Spink
CHI
2009
ACM
16 years 5 months ago
Using temporal patterns (t-patterns) to derive stress factors of routine tasks
We describe the use of a statistical technique called Tpattern analysis to derive and characterize the routineness of tasks. T-patterns provide significant advantages over traditi...
Oliver Brdiczka, Norman Makoto Su, Bo Begole
TKDE
2008
128views more  TKDE 2008»
15 years 4 months ago
Mixed-Drove Spatiotemporal Co-Occurrence Pattern Mining
Mixed-drove spatiotemporal co-occurrence patterns (MDCOPs) represent subsets of two or more different object-types whose instances are often located in spatial and temporal proximi...
Mete Celik, Shashi Shekhar, James P. Rogers, James...
CN
2007
94views more  CN 2007»
15 years 4 months ago
Modeling and generating realistic streaming media server workloads
Currently, Internet hosting centers and content distribution networks leverage statistical multiplexing to meet the performance requirements of a number of competing hosted networ...
Wenting Tang, Yun Fu, Ludmila Cherkasova, Amin Vah...