Sciweavers

4350 search results - page 298 / 870
» Case studies for contract-based systems
Sort
View
CDC
2009
IEEE
110views Control Systems» more  CDC 2009»
15 years 4 months ago
Perturbation analysis and optimization of multiclass multiobjective Stochastic Flow Models
Stochastic Flow Models (SFMs) are stochastic ystems that abstract the dynamics of complex discrete event systems involving the control of sharable resources. SFMs have been used to...
Chen Yao, Christos G. Cassandras
ACE
2004
163views Education» more  ACE 2004»
15 years 8 months ago
Adventure Cycles A Software Engineering Approach
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...
John Paynter, Emma Sharkey
ECAI
2010
Springer
15 years 4 months ago
Describing the Result of a Classifier to the End-User: Geometric-based Sensitivity
This paper addresses the issue of supporting the end-user of a classifier, when it is used as a decision support system, to classify new cases. We consider several kinds of classif...
Isabelle Alvarez, Sophie Martin, Salma Mesmoudi
ICDE
2012
IEEE
249views Database» more  ICDE 2012»
13 years 9 months ago
Answering Why-not Questions on Top-k Queries
Abstract—After decades of effort working on database performance, the quality and the usability of database systems have received more attention in recent years. In particular, t...
Zhian He, Eric Lo
ICDE
2009
IEEE
138views Database» more  ICDE 2009»
15 years 4 months ago
Similarity Group-By
The identification and processing of similarities in the data play a key role in multiple application scenarios. Several types of similarity-aware operations have been studied in ...
Yasin N. Silva, Walid G. Aref, Mohamed H. Ali