716 search results - page 54 / 144 » Rule Formats for Timed Processes |
APSEC
2007
IEEE
14 years 2 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
WSDM
2010
ACM
14 years 2 months ago
2010
ACM
Presence of duplicate documents in the World Wide Web adversely affects crawling, indexing and relevance, which are the core building blocks of web search. In this paper, we pres...
DOCENG
2009
ACM
14 years 2 months ago
2009
ACM
The PDF format is commonly used for the exchange of documents on the Web and there is a growing need to understand and extract or repurpose data held in PDF documents. Many system...
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The simulation of ultrasound wave propagation is of high interest in fields as ultrasound system development and therapeutic ultrasound. From a computational point of vi...
DKE
2008
13 years 7 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...