Computer science and engineering nowadays appears to be challenged (and driven) by technological progress and quantitative growth. Among the technological progress challenges are ...
When designing automated systems that make decisions about when to allow or deny interruptions, the methods of professional interruption mediators are an important source of infor...
: In scientific digital libraries many documents such as publications, technical reports, theses, etc. could be used as basic data supports for distance learning in the universitie...
This demonstration will illustrate the key technical and user interface aspects of the Web Adaptation Technology. Various transformations underlying the system will be shown that ...
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...