5184 search results - page 173 / 1037 » Computer support for mechatronic control system design |
147
click to vote
JCS
2008
15 years 4 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
134
Voted
EWHCI
1993
15 years 8 months ago
1993
One of the new design goals in Human Computer Interaction is to extend the sensory-motor capabilities of computer systems to better match the natural communication means of human b...
139
click to vote
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
148
click to vote
MUE
2007
IEEE
15 years 10 months ago
2007
IEEE
Context and context-awareness have been central issues in ubiquitous computing research for the last decade. Advances with regard to context acquisition and activity recognition a...
153
Voted
ICNP
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, we propose a novel MAC protocol, called Quality-ofservice Guarantee Multiple Access (QGMA), in wireless local area networks to support the quality of service requir...