Sciweavers

8781 search results - page 1434 / 1757
» Enterprise Model Integration
Sort
View
FTRTFT
1998
Springer
15 years 11 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
KDD
1998
ACM
145views Data Mining» more  KDD 1998»
15 years 11 months ago
Aggregation of Imprecise and Uncertain Information for Knowledge Discovery in Databases
We consider the problem of aggregation for uncertain and imprecise data. For such data, we define aggregation operators and use them to provide information on properties and patte...
Sally I. McClean, Bryan W. Scotney, Mary Shapcott
ASPDAC
2007
ACM
108views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Software Performance Estimation in MPSoC Design
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...
Márcio Oyamada, Flávio Rech Wagner, ...
NSDI
2007
15 years 9 months ago
The Flexlab Approach to Realistic Evaluation of Networked Systems
Networked systems are often evaluated on overlay testbeds such as PlanetLab and emulation testbeds such as Emulab. Emulation testbeds give users great control over the host and ne...
Robert Ricci, Jonathon Duerig, Pramod Sanaga, Dani...
ECEH
2007
133views Healthcare» more  ECEH 2007»
15 years 8 months ago
Goals and Challenges for the Realization of a European wide eHealth Infrastructure
: A number of Electronic Health Record (EHR) standards and frameworks have been developed to assist with the interoperability and integration of distributed EHR information. Ideall...
Andreas Thiel, Marco Eichelberg, Berthold B. Wein,...
« Prev « First page 1434 / 1757 Last » Next »