716 search results - page 8 / 144 » Rule Formats for Timed Processes |
RE
2002
Springer
13 years 7 months ago
2002
Springer
We present experience with improving the requirements engineering process for a telecommunications electronic clearinghouse that connects multiple trading partners. Software failu...
PADL
2012
Springer
12 years 3 months ago
2012
Springer
An ad hoc data source is any semi-structured, non-standard data source. The format of such data sources is often evolving and frequently lacking documentation. Consequently, off-t...
CEC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Visceral leishmaniasis is a parasitic disease that is usually fatal if untreated. Host resistance is thought to involve the accumulation of inflammatory cells into structures ...
ELPUB
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we report on our experience with the creation of an automated, human-assisted process to extract metadata from documents in a large (>100,000), dynamically growi...
CLUSTER
2009
IEEE
14 years 2 months ago
2009
IEEE
The computation of an electromagnetic reflectivity image from a set of radar returns is a computationally intensive process. Therefore, the use of high performance computing is r...