1497 search results - page 267 / 300 » Extended static checking |
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
CGF
2010
13 years 9 months ago
2010
We present a feasibility study on using video visualization to aid snooker skill training. By involving the coaches and players in the loop of intelligent reasoning, our approach ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper explores technology permitting arbitrary application components to be exposed for remote access from other software. Using this, the application and its constituent com...
COMPSEC
2006
13 years 9 months ago
2006
With the growing use of wireless networks and mobile devices, we are moving towards an era where location information will be necessary for access control. The use of location inf...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
In this paper we extend the classical portal (with static portlets) design with HTML DOM Web clipping on the client browser using dynamic JavaScript portlets: the portal server su...