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:  
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 presen...... 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ộ
Common coupling as a measure of reuse effort in kernel-based software with case studies on the creation of MkLinux and Darwin
Springer Science and Business Media LLC - Tập 14 - Trang 45-55 - 2008
Liguo Yu
An obstacle to software reuse is the large number of major modifications that frequently have to be made as a consequence of dependencies within the reused software components. In this paper, common coupling is categorized and used as a measure of the dependencies between software components. We compared common coupling in three operating systems, Linux, FreeBSD, and Mach, and related it to the re...... hiện toàn bộ
An investigation of the predictability of the Brazilian three-modal hand-based behavioural biometric: a feature selection and feature-fusion approach
Springer Science and Business Media LLC - Tập 26 - Trang 1-20 - 2020
Julliana Caroline Goncalves de A. S. Marques, Tuany Mariah Lima Do Nascimento, Brenda Vasiljevic, Laura Emmanuella Alves dos Santos Santana, Márjory Da Costa-Abreu
New security systems, methods or techniques need to have their performance evaluated in conditions that closely resemble a real-life situation. The effectiveness with which individual identity can be predicted in different scenarios can benefit from seeking a broad base of identity evidence. Many approaches to the implementation of biometric-based identification systems are possible, and different...... hiện toàn bộ
Formal Specification and Verification of Real-Time Systems using Graph Grammars
Springer Science and Business Media LLC - - 2007
Leonardo Michelon, Sérgio Ely Valadão Gigante de Andrade Costa, Leila Ribeiro
Abstract The importance of real-time systems has enormously increased in the last decade. Application areas that typically need real-time models include railroad systems, intelligent vehicle highway systems, avionics, multimedia and telephony. To assure that such systems are correct, additionally to prove that they provide the required functionality, time...... hiện toàn bộ
Generalized probabilistic satisfiability through integer programming
Springer Science and Business Media LLC - - 2015
Glauber De Bona, Fábio Gagliardi Cozman, Marcelo Finger
Detecting referential inconsistencies in electronic CV datasets
Springer Science and Business Media LLC - Tập 23 - Trang 1-11 - 2017
Ivison C. Rubim, Vanessa Braganholo
One way to measure the scientific progress of a country is to evaluate the curriculum vitae (CV) of its researchers. In Brazil, this is not different. The Lattes Platform is an information system whose primary objective is to provide a single repository to store the CV of the Brazilian researchers. This system is increasingly acquiring expressiveness as the main source of information regarding the...... hiện toàn bộ
Overview and open issues on penetration test
Springer Science and Business Media LLC - Tập 23 - Trang 1-16 - 2017
Daniel Dalalana Bertoglio, Avelino Francisco Zorzo
Several studies regarding security testing for corporate environments, networks, and systems were developed in the past years. Therefore, to understand how methodologies and tools for security testing have evolved is an important task. One of the reasons for this evolution is due to penetration test, also known as Pentest. The main objective of this work is to provide an overview on Pentest, showi...... hiện toàn bộ
Recognizing and learning models of social exchange strategies for the regulation of social interactions in open agent societies
Springer Science and Business Media LLC - Tập 17 - Trang 143-161 - 2011
Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Luciano Vargas Gonçalves, Diego Rodrigues Pereira
Regulation of social exchanges refers to controlling social exchanges between agents so that the balance of exchange values involved in the exchanges are continuously kept—as far as possible—near to equilibrium. Previous work modeled the social exchange regulation problem as a POMDP (Partially Observable Markov Decision Process), and defined the policyToBDIplans algorithm to extract BDI (Beliefs, ...... hiện toàn bộ
Helly property, clique raphs, complementary graph classes, and sandwich problems
Springer Science and Business Media LLC - Tập 14 - Trang 45-52 - 2008
Mitre C. Dourado, Priscila Petito, Rafael B. Teixeira, Celina M. H. de Figueiredo
A sandwich problem for property π asks whether there exists a sandwich graph of a given pair of graphs which has the desired property π Graph sandwich problems were first defined in the context of Computational Biology as natural generalizations of recognition problems. We contribute to the study of the complexity of graph sandwich problems by considering the Helly property and complementary graph...... hiện toàn bộ
Tổng số: 230   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10