Sciweavers

11172 search results - page 1941 / 2235
» Testing Physical Systems
Sort
View
ADC
2009
Springer
113views Database» more  ADC 2009»
15 years 11 months ago
Ranking-Constrained Keyword Sequence Extraction from Web Documents
Given a large volume of Web documents, we consider problem of finding the shortest keyword sequences for each of the documents such that a keyword sequence can be rendered to a g...
Ding-Yi Chen, Xue Li, Jing Liu, Xia Chen
BPM
2009
Springer
258views Business» more  BPM 2009»
15 years 11 months ago
Activity Mining by Global Trace Segmentation
Process Mining is a technology for extracting non-trivial and useful information from execution logs. For example, there are many process mining techniques to automatically discove...
Christian W. Günther, Anne Rozinat, Wil M. P....
ARCS
2009
Springer
15 years 11 months ago
Hybrid Resource Discovery Mechanism in Ad Hoc Grid Using Structured Overlay
Resource management has been an area of research in ad hoc grids for many years. Recently, different research projects have focused resource management in centralized, decentralize...
Tariq Abdullah, Luc Onana Alima, Vassiliy Sokolov,...
ARGMAS
2009
Springer
15 years 11 months ago
Comparing Argumentation Frameworks for Composite Ontology Matching
Resolving the semantic heterogeneity problem is crucial to allow interoperability between ontology-based systems. Ontology matching based on argumentation is an innovative research...
Cássia Trojahn dos Santos, Paulo Quaresma, ...
FMICS
2009
Springer
15 years 11 months ago
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
David Delmas, Eric Goubault, Sylvie Putot, Jean So...
« Prev « First page 1941 / 2235 Last » Next »