Sciweavers

1951 search results - page 83 / 391
» UML-Based integration testing
Sort
View
135
Voted
CIVR
2004
Springer
194views Image Analysis» more  CIVR 2004»
15 years 9 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...
132
Voted
ACSC
2002
IEEE
15 years 8 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
147
Voted
FQAS
2004
Springer
122views Database» more  FQAS 2004»
15 years 7 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
95
Voted
TRIDENTCOM
2010
IEEE
15 years 1 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...
167
Voted
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 7 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...