Sciweavers

13383 search results - page 2278 / 2677
» Abstractions from proofs
Sort
View
REFSQ
2010
Springer
15 years 2 months ago
Towards a Framework for Specifying Software Robustness Requirements Based on Patterns
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...
Ali Shahrokni, Robert Feldt
SAB
2010
Springer
120views Optimization» more  SAB 2010»
15 years 2 months ago
A Supramodal Vibrissa Tactile and Auditory Model for Texture Recognition
Abstract. Audition and touch endow spectral processing abilities allowing texture recognition and discrimination. Rat whiskers sensorisystem exhibits, as the cochlea, resonance pro...
Mathieu Bernard, Steve N'Guyen, Patrick Pirim, Agn...
SECON
2010
IEEE
15 years 2 months ago
Disruption-Tolerant Spatial Dissemination
Abstract-- Spatial dissemination is a specific form of information dissemination that enables mobile users to send information to other mobile users who are or will appear at a spe...
Bo Xing, Sharad Mehrotra, Nalini Venkatasubramania...
SEKE
2010
Springer
15 years 2 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
SEMWEB
2010
Springer
15 years 2 months ago
Using Reformulation Trees to Optimize Queries over Distributed Heterogeneous Sources
Abstract. In order to effectively and quickly answer queries in environments with distributed RDF/OWL, we present a query optimization algorithm to identify the potentially relevan...
Yingjie Li, Jeff Heflin
« Prev « First page 2278 / 2677 Last » Next »