Sciweavers

281 search results - page 19 / 57
» A dependability perspective on emerging technologies
Sort
View
MKM
2007
Springer
14 years 2 months ago
Cooperative Repositories for Formal Proofs
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
Pierre Corbineau, Cezary Kaliszyk
ASSETS
2007
ACM
14 years 18 days ago
WebinSitu: a comparative analysis of blind and sighted browsing behavior
Web browsing is inefficient for blind web users because of persistent accessibility problems, but the extent of these problems and their practical effects from the perspective of ...
Jeffrey P. Bigham, Anna Cavender, Jeremy T. Brudvi...
BPM
2008
Springer
164views Business» more  BPM 2008»
13 years 10 months ago
Analyzing Business Continuity through a Multi-layers Model
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
Yudistira Asnar, Paolo Giorgini
ETFA
2008
IEEE
14 years 3 months ago
Functional safety and system security in automation systems - a life cycle model
Industrial and building automation systems are more and more important in industry and buildings. New services and novel fields of application call for dependable systems. Two ver...
Thomas Novak, Albert Treytl
NTMS
2008
IEEE
14 years 3 months ago
An Autonomous Data Gathering Scheme Adaptive to Sensing Requirements for Industrial Environment Monitoring
—In wireless sensor networks (WSNs), the frequency of sensing and data gathering depends on application requirements and surrounding conditions. In this paper, we propose a data ...
Yoshiaki Taniguchi, Naoki Wakamiya, Masayuki Murat...