2730 search results - page 426 / 546 » An Abstract Model for Process Mediation |
272
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- In recent years, uncertain data management applications have grown in importance because of the large number of hardware applications which measure data approximately. F...
133
click to vote
CICLING
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
152
click to vote
MICCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. It has been shown that brain structures in normal aging undergo significant changes attributed to neurodevelopmental and neurodegeneration processes as a lifelong, dynami...
140
Voted
FOSSACS
2010
Springer
16 years 11 days ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
131
click to vote
DAC
2009
ACM
16 years 10 days ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...