3352 search results - page 550 / 671 » Providing User Support for Interactive Applications with FUS... |
116
click to vote
CIKM
2003
Springer
15 years 7 months ago
2003
Springer
Searchers can have problems devising queries that accurately express their, often dynamic, information needs. In this paper we describe an adaptive approach that uses unobtrusive ...
129
click to vote
POLICY
2001
Springer
15 years 6 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
111
click to vote
ICMCS
1994
IEEE
15 years 5 months ago
1994
IEEE
As computers are increasingly used to mediate social interaction, tools are needed not only to support direct communication, but also to create a richer social environment for the...
100
click to vote
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Striking a balance between rigidity and flexibility is a central challenge in designing business processes. Striking this balance begins on the type level, because expressiveness ...
130
click to vote
ASM
2010
ASM
15 years 5 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...