It is the concern of the author to arrange cogitations and experiences she gained by collaborating in relevant international project works, by conducting scientific studies regard...
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Dynamic spectrum leasing (DSL) is one of the schemes proposed for dynamic spectrum sharing (DSS) in cognitive radio networks. In DSL, spectrum owners, denoted as primary users, dyn...
Gonzalo Vazquez-Vilar, Carlos Mosquera, Sudharman ...
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
Franz Baader, Andreas Bauer 0002, Peter Baumgartne...
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...