Sciweavers

1398 search results - page 133 / 280
» Ensuring Properties of Interaction Systems
Sort
View
UIST
2009
ACM
15 years 11 months ago
PhotoelasticTouch: transparent rubbery tangible interface using an LCD and photoelasticity
PhotoelasticTouch is a novel tabletop system designed to intuitively facilitate touch-based interaction via real objects made from transparent elastic material. The system utilize...
Toshiki Sato, Haruko Mamiya, Hideki Koike, Kentaro...
192
Voted
BERTINORO
2005
Springer
15 years 10 months ago
Emergent Consensus in Decentralised Systems Using Collaborative Reinforcement Learning
Abstract. This paper describes the application of a decentralised coordination algorithm, called Collaborative Reinforcement Learning (CRL), to two different distributed system pr...
Jim Dowling, Raymond Cunningham, Anthony Harringto...
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 8 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
ICDE
2010
IEEE
217views Database» more  ICDE 2010»
15 years 11 months ago
Toward industrial-strength keyword search systems over relational data
– Keyword search (KWS) over relational data, where the answers are multiple tuples connected via joins, has received significant attention in the past decade. Numerous solutions ...
Akanksha Baid, Ian Rae, AnHai Doan, Jeffrey F. Nau...
CSFW
2004
IEEE
15 years 8 months ago
The Consistency of Task-Based Authorization Constraints in Workflow Systems
Workflow management systems (WFMSs) have attracted a lot of interest both in academia and the business community. A workflow consists of a collection of tasks that are organized t...
Kaijun Tan, Jason Crampton, Carl A. Gunter