Sciweavers

Share
IC3
2009
9 years 8 months ago
Verification of Liveness Properties in Distributed Systems
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
Divakar Yadav, Michael Butler
CSCWD
2009
Springer
9 years 8 months ago
The analysis and development of Taiwan's industrial logistics hubs
With the trend of globalization, enterprises require to extend their logistics scope from domestic to international, integrate logistics networks, and improve the agility and effi...
Charles V. Trappey, Amy J. C. Trappey, Gilbert Y. ...
BCSHCI
2009
9 years 8 months ago
From tele presence to human absence: the pragmatic construction of the human in communications systems research
This paper reflects on the views of the human that were oriented to in two distinct research labs and which have been used to populate an inventive landscape over the past twenty ...
R. Harper
WEBI
2010
Springer
9 years 8 months ago
Agent-Based Online Quality Measurement Approach in Cloud Computing Environment
This paper studies online quality measurement in cloud computing environment. The paper analyzes concentration measure evaluation method of the current software quality evaluation...
Zhenyu Liu, Tiejiang Liu, Tun Lu, Lizhi Cai, Genxi...
PAAMS
2010
Springer
9 years 8 months ago
Improving Functionalities in a Multi-agent Architecture for Ocean Monitoring
This paper presents an improved version of a multiagent architecture aimed at providing solutions for monitoring the interaction between the atmosphere and the ocean. The ocean sur...
Fernando de la Prieta, Óscar Gil, Carolina ...
LPAR
2010
Springer
9 years 8 months ago
Dafny: An Automatic Program Verifier for Functional Correctness
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
K. Rustan M. Leino
LPAR
2010
Springer
9 years 8 months ago
SAT Encoding of Unification in EL
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
Franz Baader, Barbara Morawska
FORMATS
2010
Springer
9 years 8 months ago
Safraless Procedures for Timed Specifications
This paper presents extensions of Safraless algorithms proposed in the literature for automata on infinite untimed words to the case of automata on infinite timed words.
Barbara Di Giampaolo, Gilles Geeraerts, Jean-Fran&...
DLOG
2010
9 years 8 months ago
Justification Masking in OWL
Abstract. This paper presents a discussion on the phenomena of masking in the context of justifications for entailments. Various types of masking are introduced and a definition fo...
Matthew Horridge, Bijan Parsia, Ulrike Sattler
SYNTHESE
2010
69views more  SYNTHESE 2010»
9 years 9 months ago
Social structure and the effects of conformity
Conformity is an often criticized feature of human belief formation. Although generally regarded as a negative influence on reliability, it has not been widely studied. This paper...
Kevin J. S. Zollman
books