For the past three decades, a wide variety of cryptographic protocols have been proposed to solve secure communication problems even in the presence of adversaries. The range of this work varies from developing basic security primitives providing confidentiality and authenticity to solving more...

Probabilistic graphical models, by making conditional independence assumptions, can represent complex joint distributions in a factorized form. However, in large problems graphical models often run into two issues. First, in non-treelike graphs, computational issues frustrate exact inference....

Software testing is an indispensable activity in quality assurance andan enduring topic of research. For decades, researchers have beeninventing new and better techniques to test software. However, notesting technique will ever be a panacea for all softwaredefects. Therefore, while researchers...

In distributed systems users often need to share sensitive data with other usersbased on the latter's ability to satisfy various policies. In many cases the data ownermay not even know the identities of the data recipients, but deems it crucial that theyare legitimate; i.e., satisfy the policy....

Enterprise business models and the semantic of their dynamic changes are influenced a) by internal factors which dictate the nature and the role of business processes within the enterprise and b) by the external factors which live in enterprise’s environment, such as technological changes,...

The advantages a DSL and the benefits its use potentially brings imply that informed decisions on the design of a domain specific language are of paramount importance for its use. We believe that the foundations of such decisions should be informed by analysis of data empirically collected from...

The concept of trust and reputation had a long profound impact on the way systems were measured in terms of their credibility and performance. This has consecutively lead into numerous reputation-based trust management systems being deployed for various computing environments as a decision...

Ebben a tanulmányban a szerző egy új harmóniakereső metaheurisztikát mutat be, amely a minimális időtartamú erőforrás-korlátos ütemezések halmazán a projekt nettó jelenértékét maximalizálja. Az optimális ütemezés elméletileg két egész értékű (nulla-egy típusú)...

Using ecological data compiled from scientific literature on pest, pathogen and weed species characteristic in maize cultures in Hungary, we defined monthly climate profile indicators and applied them to complete a comparative analysis of the historical and modelled climate change scenario...

Nowadays, the scientific and social significance of the research of climatic effects has become outstanding. In order to be able to predict the ecological effects of the global climate change, it is necessary to study monitoring databases of the past and explore connections. For the case study...