Sciweavers

1951 search results - page 83 / 391
» UML-Based integration testing
Sort
View
CIVR
2004
Springer
194views Image Analysis» more  CIVR 2004»
15 years 11 months ago
A Test-Bed for Region-Based Image Retrieval Using Multiple Segmentation Algorithms and the MPEG-7 eXperimentation Model: The Sch
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...
Vasileios Mezaris, Haralambos Doulaverakis, Raul M...
ACSC
2002
IEEE
15 years 11 months ago
A Generalised Spreadsheet Verification Methodology
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
Nick Randolph, John Morris, Gareth Lee
FQAS
2004
Springer
122views Database» more  FQAS 2004»
15 years 10 months ago
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
Davide Martinenghi
TRIDENTCOM
2010
IEEE
15 years 4 months ago
Framework for IMS Service Scenario Implementation
This paper presents an experimental framework for implementation of an IMS/NGN reference service scenario by means of open source software. Multiple service enablers are deployed t...
Andrey Krendzel, Jawad Hussain, Josep Mangues-Bafa...
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 9 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...