Sciweavers

2454 search results - page 369 / 491
» Privacy in the Information and Communications Technologies
Sort
View
LOGCOM
2007
72views more  LOGCOM 2007»
14 years 9 months ago
Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...
Rajeev Goré, Alwen Tiu
COMPSYSTECH
2009
14 years 7 months ago
Architectural models for realization of web-based personal health systems
: Recent advances in Information and Communication Technologies (ICT) and more specifically in wireless networks and mobile computing have driven new directions in the development ...
Mitko Shopov, Grisha Spasov, Galidia Petrova
HCI
2009
14 years 7 months ago
Accessing e-Learning Systems via Screen Reader: An Example
The evolution of the Information and Communication Technology (ICT) and the rapid growth of the Internet have impelled the pervasive diffusion of e-Learning systems. This is a grea...
Maria Claudia Buzzi, Marina Buzzi, Barbara Leporin...
CNSM
2010
14 years 1 months ago
Towards non-expert users monitoring networks and services through semantically enhanced visualizations
— Managing networks and services in large virtual enterprises often requires significant expertise to decipher and reconcile information coming from several heterogeneous sources...
Owen Conlan, John Keeney, Cormac Hampson, Fion&aac...
AQUILEIA
2011
261views more  AQUILEIA 2011»
13 years 10 months ago
Sharing Data on the Aquileia Heritage: Proposals for a Research Project
Basic ideas are presented of a multi-national research project to share data about the Roman city of Aquileia employing the Information and Communication Technologies (ICT). A Cons...
Vito Roberto, Paolo Omero