1398 search results - page 60 / 280 » Ensuring Properties of Interaction Systems |
123
click to vote
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
142
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
MouseLight is a spatially-aware standalone mobile projector with the form factor of a mouse that can be used in combination with digital pens on paper. By interacting with the pro...
150
click to vote
JCP
2006
15 years 4 months ago
2006
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...
143
click to vote
JIT
2005
Springer
15 years 9 months ago
2005
Springer
Dynamic AOP has been identified as a useful technique to implement an auto-adaptive framework. To supplement this policies based upon EventCondition-Action rules are used to specif...
130
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...