Sciweavers

603 search results - page 85 / 121
» Accessibility commons: a metadata infrastructure for web acc...
Sort
View
SBBD
2004
133views Database» more  SBBD 2004»
15 years 2 months ago
Query Processing in ROSA Data Model
Learning Content Management Systems (LCMS) store and manage e-learning content and play an important role in the development of Distance Learning technology. ROSA (Repository of O...
Fábio Coutinho, Fabio Porto
MM
2006
ACM
179views Multimedia» more  MM 2006»
15 years 7 months ago
ZooMICSS: a zoomable map image collection sensemaking system (the Katrina Rita context)
Access to devices that integrate Global Positioning data with image and sound acquisition becomes more common, enabling people to build large collections of locative multimedia. A...
Ross Graeber, Andruid Kerne, M. Kathryn Henderson
86
Voted
CAV
2010
Springer
161views Hardware» more  CAV 2010»
15 years 5 months ago
Directed Proof Generation for Machine Code
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda B...
JNW
2007
149views more  JNW 2007»
15 years 1 months ago
Adaptive Semantic Middleware for Mobile Environments
— Context-awareness is considered a key driving principle for the design and provisioning of adaptable pervasive services. Rightfully describing and interpreting context, however...
Antonio Corradi, Rebecca Montanari, Alessandra Ton...
JCP
2007
153views more  JCP 2007»
15 years 1 months ago
An Integrated Educational Platform Implementing Real, Remote Lab-Experiments for Electrical Engineering Courses
—This paper describes an Internet-based laboratory, named Remote Monitored and Controlled Laboratory (RMCLab) developed at University of Patras, Greece, for electrical engineerin...
Dimitris Karadimas, Kostas Efstathiou