Sciweavers

298 search results - page 37 / 60
» UPPAAL - Now, Next, and Future
Sort
View
SIGSOFT
2000
ACM
13 years 11 months ago
Experience report: using RESOLVE/C++ for commercial software
Academic research sometimes suffers from the “ivory tower” problem: some ideas that sound good in theory do not necessarily work well in practice. An example of research that ...
Joseph E. Hollingsworth, Lori Blankenship, Bruce W...
HPCA
1999
IEEE
13 years 11 months ago
A Study of Control Independence in Superscalar Processors
Control independence has been put forward as a significant new source of instruction-level parallelism for future generation processors. However, its performance potential under p...
Eric Rotenberg, Quinn Jacobson, James E. Smith
KDD
1999
ACM
193views Data Mining» more  KDD 1999»
13 years 11 months ago
Data Mining of User Navigation Patterns
Abstract. We propose a data mining model that captures the user navigation behaviour patterns. The user navigation sessions are modelled as a hypertext probabilistic grammar whose ...
José Borges, Mark Levene
HT
1998
ACM
13 years 11 months ago
Evaluation of Hypermedia Application Development and Management Systems
In this paper we propose and study a framework for evaluating Hypermedia Application Development and Management Systems (HADMS) in relation to specific application requirements. W...
Sotiris P. Christodoulou, Georgios D. Styliaras, T...
ERCIMDL
1997
Springer
106views Education» more  ERCIMDL 1997»
13 years 11 months ago
Scalable Text Retrieval for Large Digital Libraries
It is argued that digital libraries of the future will contain terabyte-scale collections of digital text and that full-text searching techniques will be required to operate over c...
David Hawking