2838 search results - page 506 / 568 » Verifying Controlled Components |
COMPUTER
2002
13 years 8 months ago
2002
of abstraction and coarse granularity and distributed communication control. Focusing on using probabilistic metrics such as average values or variance to quantify design objective...
ENVSOFT
2000
13 years 8 months ago
2000
A model is presented for the analysis of bioremediation applied to an ex situ soil pile. The approach is based on the remediation of a pile containing the contaminated soil, which...
JUCS
2000
13 years 8 months ago
2000
Abstract: A study of the classes of nite relations as enriched strict monoidal categories is presented in CaS91]. The relations there are interpreted as connections in owchart sche...
JSS
2002
13 years 8 months ago
2002
The search for and correction of errors in software are often time consuming and expensive components of the total cost of software development. The current research investigates ...
MT
2002
13 years 8 months ago
2002
This paper describes Expedition, an environment designed to facilitate the quick ramp-up of MT systems from practically any alphabetic language (L) into English. The central compon...