2940 search results - page 309 / 588 » Relational Parametricity and Control |
170
click to vote
ICCSA
2009
Springer
16 years 1 months ago
2009
Springer
Wireless link capacity within a sensor network has direct impact on its performance and throughput. Due to dense sensor deployment, interference seems to be a key factor for varyin...
160
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Constraints are an important part of role-based access control policies. The safety or security of a system is maintained by enforcing constraints that are specified in the pol...
151
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
159
click to vote
EICS
2009
ACM
16 years 1 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
157
click to vote
SIGDOC
2009
ACM
16 years 1 months ago
2009
ACM
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...