4502 search results - page 807 / 901 » Regular Model Checking |
ESAW
2008
Springer
14 years 28 days ago
2008
Springer
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
ESOP
2008
Springer
14 years 28 days ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
FOIKS
2008
Springer
14 years 21 days ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
BILDMED
2008
14 years 18 days ago
2008
Abstract. Segmentation of the left ventricle (LV) is required to quantify LV remodeling after myocardial infarction. Therefore spatiotemporal Cine MR sequences including longaxis a...
SDM
2010
SIAM
14 years 18 days ago
2010
SIAM
Many sorts of structured data are commonly stored in a multi-relational format of interrelated tables. Under this relational model, exploratory data analysis can be done by using ...