Sciweavers

3384 search results - page 617 / 677
» More Testable Properties
Sort
View
ISIPTA
1999
IEEE
116views Mathematics» more  ISIPTA 1999»
14 years 1 months ago
On the Distribution of Natural Probability Functions
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
Jeff B. Paris, Paul N. Watton, George M. Wilmers
ESEC
1999
Springer
14 years 1 months ago
Synergy between Component-Based and Generative Approaches
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...
Stan Jarzabek, Peter Knauber
ESEC
1999
Springer
14 years 1 months ago
FACADE: A Typed Intermediate Language Dedicated to Smart Cards
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Van...
VISUALIZATION
1999
IEEE
14 years 1 months ago
Exploring Geo-Scientific Data in Virtual Environments
This paper describes tools and techniques for the exploration of geo-scientific data from the oil and gas domain in stereoscopic virtual environments. The two main sources of data...
Bernd Fröhlich, Stephen Barrass, Björn Z...
KDD
1999
ACM
220views Data Mining» more  KDD 1999»
14 years 1 months ago
Efficient Mining of Emerging Patterns: Discovering Trends and Differences
We introduce a new kind of patterns, called emerging patterns (EPs), for knowledge discovery from databases. EPs are defined as itemsets whose supports increase significantly from...
Guozhu Dong, Jinyan Li