Sciweavers

4241 search results - page 418 / 849
» A Knowledge-Based Software Information System
Sort
View
PLDI
2006
ACM
16 years 22 days ago
Combining type-based analysis and model checking for finding counterexamples against non-interference
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
OTM
2010
Springer
15 years 5 months ago
An Interaction Meta-model for Cooperative Component-Based User Interfaces
Abstract. Model Driven Engineering (MDE) aims to help software deto abstract the system implementations by means of models and meta-models. In Web-based Collaborative Information S...
Luis Iribarne, Nicolás Padilla, Javier Cria...
ICMI
2004
Springer
157views Biometrics» more  ICMI 2004»
16 years 5 days ago
Collaboration in parallel worlds
We present a novel paradigm for human to human asymmetric collaboration. There is a need for people at geographically separate locations to seamlessly collaborate in real time as ...
Ashutosh Morde, Jun Hou, S. Kicha Ganapathy, Carlo...
ISORC
2006
IEEE
16 years 24 days ago
Diagnostic Framework for Integrated Time-Triggered Architectures
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
Philipp Peti, Roman Obermaisser
ICITA
2005
IEEE
16 years 12 days ago
Accessibility Solutions for Visually Impaired Users of Web Discussion Boards
Web-based content management systems present specific presentation and navigational problems for visually impaired users. These systems are widely used in e-learning, ironically t...
Paul Andrew Watters, Antonio Araujo, Armin Hezart,...