Springer Science and Business Media LLC

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Reachability-based model reduction for Markov decision process
Springer Science and Business Media LLC - - 2015
Felipe Martins dos Santos, Leliane Nunes de Barros, Felipe W. Trevizan
Characterizing the hyperspecialists in the context of crowdsourcing software development
Springer Science and Business Media LLC - Tập 24 - Trang 1-16 - 2018
Anderson Bergamini de Neira, Igor Steinmacher, Igor Scaliante Wiese
Companies around the world use crowdsourcing platforms to complete simple tasks, collect product ideas, and launch advertising campaigns. Recently, crowdsourcing has also been used for software development to run tests, fix small defects, or perform small coding tasks. Among the pillars upholding the crowdsourcing business model are the platform participants, as they are responsible for accomplish... hiện toàn bộ
A middleware platform to support river monitoring using wireless sensor networks
Springer Science and Business Media LLC - - 2011
Danny Hughes, Jó Ueyama, Eduardo Mário Mendiondo, Nelson Matthys, Wouter Horré, Sam Michiels, Christophe Huygens, Wouter Joosen, Ka Lok Man, Sheng-Uei Guan
Abstract Flooding is a critical global problem, which is growing more severe due to the effects of climate change. This problem is particularly acute in the state of São Paulo, Brazil, where flooding during the rainy season incurs significant financial and human costs. Another critical problem associated with flooding is the high level of pollution present in urban rivers. Efforts to address these... hiện toàn bộ
Ecolingua: a Formal ontology for data in ecology
Springer Science and Business Media LLC - Tập 11 - Trang 60-78 - 2005
Virgínia Brilhante
Ecolingua is an ontology for ecological quantitative data, which has been designed through reuse of a conceptualisation of quantities and their physical dimensions provided by theEngMath family of ontologies. A hierarchy of ecological quantity classes is presented together with their definition axioms in first-order logic. An implementation-level application of the ontology is discussed, by way of... hiện toàn bộ
A semantic approach for QoS specification of communication services using QoE parameters
Springer Science and Business Media LLC - - 2013
José Cé Júnior, Achilles Colombo Prudêncio, Roberto Willrich, Madalena Pereira da Silva
Abstract Various operations related to Quality of Service (QoS) management in communication networks require the clients/users to specify the quality level of the network service. The current QoS proposals adopt a fixed set of performance parameters at the network level to specify quality levels, avoiding dealing with the problem of heterogeneity among QoS parameters and metrics during the service... hiện toàn bộ
Increasing sensor reliability through confidence attribution
Springer Science and Business Media LLC - Tập 25 - Trang 1-20 - 2019
Roberto M. Scheffel, Antônio A. Fröhlich
The reliability of wireless sensor networks (WSN) is getting increasing importance as this kind of networks are becoming the communication base for many cyber-physical systems (CPS). Such systems rely on sensor data correctness to make decisions; therefore, faulty data can lead such systems to take wrong actions. Errors can be originated by sensor’s hardware failures or software bugs and also from... hiện toàn bộ
An approach for reasoning and refining non-functional requirements
Springer Science and Business Media LLC - Tập 10 - Trang 62-84 - 2004
Nelson Souto Rosa, Paulo Roberto Freire Cunha, George Roger Ribeiro Justo
Non-functional requirements (NFRs) are rarely taken in account in most software development processes. There are some reasons that can help us to understand why these requirements are not explicitly dealt with: their complexity, NFRs are usually stated only informally, their high abstraction level and the rare support of languages, methodologies and tools. In this paper, we concentrate on defining... hiện toàn bộ
Model-based evolution of collaborative agent-based systems
Springer Science and Business Media LLC - Tập 13 - Trang 17-38 - 2007
Shawn A. Bohner, Denis Graĉanin, Michael G. Hinchey, Mohamed Eltoweissy
As demands for behaviorally sophisticated software grow, agent-based systems are increasingly being employed. Software agents are frequently applied to large, complex systems that involve interdisciplinary development teams. These complex systems have proved to be challenging to develop and evolve, even for the most competent software engineers. Taking lessons learned in other engineering discipli... hiện toàn bộ
Referenceless image quality assessment by saliency, color-texture energy, and gradient boosting machines
Springer Science and Business Media LLC - Tập 24 - Trang 1-16 - 2018
Pedro Garcia Freitas, Welington Y. L. Akamine, Mylène C. Q. Farias
In most practical multimedia applications, processes are used to manipulate the image content. These processes include compression, transmission, or restoration techniques, which often create distortions that may be visible to human subjects. The design of algorithms that can estimate the visual similarity between a distorted image and its non-distorted version, as perceived by a human viewer, can... hiện toàn bộ
Graph theory and algorithms
Springer Science and Business Media LLC - Tập 18 - Trang 83-84 - 2012
Celina M. H. de Figueiredo, Jayme L. Szwarcfiter
Tổng số: 230   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10