1823 search results - page 246 / 365 » Formal specification: a roadmap |
ENTCS
2006
13 years 9 months ago
2006
Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and conte...
FMSD
2006
13 years 9 months ago
2006
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
IJCV
2006
13 years 9 months ago
2006
We address the issue of low-level segmentation of vector-valued images, focusing on the case of color natural images. The proposed approach relies on the formulation of the problem...
JDCTA
2008
13 years 9 months ago
2008
Urbanization and industrialization with minimal focus on environmental pollution has resulted in rapid degradation of natural environment. A fresh look at the pollution control st...
DKE
2007
13 years 9 months ago
2007
In this paper we explore how (micro)economic theory can be used to analyze and model the exchange of information on the Web. More specifically, we consider searchers for informati...