Sciweavers

1789 search results - page 39 / 358
» Extending the Choquet integral
Sort
View
APSEC
2009
IEEE
15 years 4 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
ICMCS
2006
IEEE
119views Multimedia» more  ICMCS 2006»
16 years 6 days ago
Towards an Efficient Integration, Structure and Exploration of Landscape Architecture Project Information
Landscape Architecture projects have many specific requirements such as particular multimedia and geographic data integration and structure, information preview, userfriendly inte...
Franck Favetta, Robert Laurini
PARA
2004
Springer
15 years 11 months ago
Performance of Taylor Model Methods for Validated Integration of ODEs
The performance of various Taylor model (TM)-based methods for the validated integration of ODEs is studied for some representative computational problems. For nonlinear problems, ...
Martin Berz, Kyoko Makino
JUCS
2008
91views more  JUCS 2008»
15 years 6 months ago
The Riemann Integral in Weak Systems of Analysis
: Taking as a starting point (a modification of) a weak theory of arithmetic of Jan Johannsen and Chris Pollett (connected with the hierarchy of counting functions), we introduce s...
Fernando Ferreira, Gilda Ferreira
DASFAA
2007
IEEE
134views Database» more  DASFAA 2007»
16 years 16 days ago
Eliciting Matters - Controlling Skyline Sizes by Incremental Integration of User Preferences
Today, result sets of skyline queries are unmanageable due to their exponential growth with the number of query predicates. In this paper we discuss the incremental re-computation ...
Wolf-Tilo Balke, Ulrich Güntzer, Christoph Lo...