Sciweavers

4035 search results - page 446 / 807
» Useless Actions Are Useful
Sort
View
CHI
1994
ACM
15 years 11 months ago
Towards the interactive office
We describe a prototype system, the Interactive Office, which supports the occupant's daily activities in an office. Discrete sensors embedded in an office detect the occupan...
Steve Hodges, Gifford Louie
ISSAC
1994
Springer
165views Mathematics» more  ISSAC 1994»
15 years 11 months ago
Constructing Permutation Representations for Large Matrix Groups
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
Gene Cooperman, Larry Finkelstein, Bryant W. York,...
CSFW
2007
IEEE
15 years 11 months ago
Automaton-based Confidentiality Monitoring of Concurrent Programs
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
Gurvan Le Guernic
ICCBR
2010
Springer
15 years 11 months ago
Case-Based Plan Diversity
The concept of diversity was successfully introduced for recommender-systems. By displaying results that are not only similar to a target problem but also diverse among themselves,...
Alexandra Coman, Héctor Muñoz-Avila
APSEC
2004
IEEE
15 years 11 months ago
Towards Synchronous Collaborative Software Engineering
Caise, a collaborative software engineering architecture, provides extensible real-time support for collaboration between participating tools and users. The architecture maintains...
Carl Cook, Neville Churcher, Warwick Irwin