This paper relates an industrial experience in the field of formal verification of avionics software products. Ten years ago we presented our very first technological research results in [18]. What was just an idea plus some experimental results at that time is now an industrial reality. Indeed, since 2001, Airbus has been integrating several tool supported formal verification techniques into t...

Özet. Rafta Haz r Ticari yaz l mlar, belirli fonksiyonlar yerine getirmek üzere daha önceden geli tirilmi ve bir katalog listesinden sat lan ticari uygulamalard r. Rafta Haz r Ticari yaz l mlar (RAHAT) yüklenicilere sa lad klar takvim ve maliyet avantajlar nedeni ile ba ta havac l k sektörü olmak üzere, nükleer enerji ve sa l k sektöründe giderek yayg n bir ekilde kullan lmaktad r. Yükleniciler...

Arq Bras Cardiol. 2017; 109(5):389-396 2017 Guidelines for Arterial Hypertension Management in Primary Health Care in Portuguese Language Countries Gláucia Maria Moraes de Oliveira,1 Miguel Mendes,2 Marcus Vinícius Bolívar Malachias,3,4 João Morais,5 Osni Moreira Filho,6 Armando Serra Coelho,7 Daniel Pires Capingana,8 Vanda Azevedo,9 Irenita Soares,9 Alda Menete,10,11 Beatriz Ferreira,10,11 Mir...

In this article I examine the constraints that skeptical hypotheses must satisfy in order to be used to raise significant skeptical challenges. I argue that skeptical hypotheses do not have to be logically, metaphysically or epistemically possible. They only need to depict scenarios that are subjectively indistinguishable from the actual world and must provide some indication of how subjects ca...

Software applications dependability is frequently assessed through degrees of constraints imposed on development activities. The statement of achieving these constraints are documented in safety arguments, often known as safety cases. However, such approach raises several questions. How ensuring that these objectives are actually effective and meet dependability expectations? How these objectiv...

The current multi-stakeholder process to define the Do Not Track standard has considered inputs from many parties, including browser vendors, network advertisers, privacy researchers, and the government. However, we feel that average users, the millions of people who will be directly affected by a Do Not Track standard, have been underrepresented. These are the users whose information is collec...

Computer and Communication Networks book by Professor Nader F. Mir represents the explosive demand for learning computer communication science and engineering. Nonetheless, the text covers both the foundations and the latest advanced topics of computer networking. Because of its complexities at both hardware and software levels, the Internet is a challenge to those who want to study this field....

Scarabaeinae specimens were collected with the use of pitfall traps baited with human excrement, rotten meat and rotting banana, between May 2009 and April 2010, in three forest fragments in Santa Maria, Rio Grande do Sul, Brazil: 'Morro do Elefante' (MOEL), 'Morro do Cerrito' (MOCE) and 'Campus da Universidade Federal de Santa Maria' (UFSM). A total of 19,699 individuals belonging to 33 specie...

“Is Anyone Doing the Housework?” (Bianchi et al. 2000) was motivated, like much of the research on housework, by a desire to better understand gender inequality and social change in the work and family arena in the United States. During the 1990s, Arlie Hochschild’s (1989) influential book, The Second Shift, provided the dominant assessment of the gender division of labor in the home (Konigsber...

The susceptibility of Aedes aegypti to temefos was evaluated by means of samples of eggs and larvae from four large counties in the state of Ceará (Fortaleza, Barbalha, Juazeiro do Norte and Crato). The technique standardized by the World Health Organization for tests with larvicides was used. The CL50 of eight samples from populations of Aedes was determined, as were their respective resistanc...