167 search results - page 28 / 34 » Contexts in Dynamic Predicate Logic |
89
Voted
ADC
2009
Springer
15 years 4 months ago
2009
Springer
Access control has been studied for sometime, and there are a number of theories and techniques for handling access control for single or centralised systems; however, unique and ...
104
click to vote
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
LACL
2001
Springer
15 years 2 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
101
click to vote
EAGC
2003
Springer
15 years 2 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
MIDDLEWARE
2007
Springer
15 years 3 months ago
2007
Springer
Pervasive devices are becoming popular and smaller. Those mobile systems should be able to adapt to changing requirements and execution environments. But it requires the ability t...