6562 search results - page 400 / 1313 » Noetherianity and Combination Problems |
146
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present the architecture of a Business Information Analysis provisioning system, BISON. The system is built based on a functioning business information analysis ...
154
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Many solutions for securing inter-provider handover proposed to date make use of the concept of security context transfer. However, none of these solutions addresses problems aris...
210
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
167
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
164
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We suggest a new navigation approach to mobile robots, within a nonlinear model predictive control framework where a navigation function is used as a control Lyapunov function....