Sciweavers

5158 search results - page 163 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
ICDE
1997
IEEE
77views Database» more  ICDE 1997»
14 years 11 months ago
Pinwheel Scheduling for Fault-Tolerant Broadcast Disks in Real-time Database Systems
The design of programsfor broadcastdisks which incorporatereal-time and fault-tolerance requirements is considered. A generalized model for real-time fault-tolerant broadcast disk...
Sanjoy K. Baruah, Azer Bestavros
WWW
2008
ACM
14 years 11 months ago
A logical framework for modeling and reasoning about semantic web services contract
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
Hai Liu, Qing Li, Naijie Gu, An Liu
TACAS
2010
Springer
167views Algorithms» more  TACAS 2010»
14 years 5 months ago
Antichain Algorithms for Finite Automata
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
Laurent Doyen, Jean-François Raskin
TEI
2010
ACM
160views Hardware» more  TEI 2010»
14 years 5 months ago
Creative idea exploration within the structure of a guiding framework: the card brainstorming game
I present a card brainstorming exercise that transforms a conceptual tangible interaction framework into a tool for creative dialogue and discuss the experiences made in using it....
Eva Hornecker
TEI
2010
ACM
150views Hardware» more  TEI 2010»
14 years 5 months ago
The representation and control of time in tangible user interfaces: (summary of PhD research)
This paper summarises the author’s PhD research on the representation and control of time in tangible user interfaces. The aim of the research is to create a theoretical framewo...
Peter Bennett