15155 search results - page 2781 / 3031 » System Software |
148
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Community wireless networks (CWNs) offer free or affordable Internet access for the purpose of improving the well-being of the community. Many questions have been raised about the...
161
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
This work is based on the premise that online learning environments can potentially help develop communities of scholars by enabling participants to discover persons and resources...
173
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Usage controls enable the provider of some information to limit how recipients may use it. Usage controls may be desirable in enterprise environments, e.g., for regulatory complia...
171
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
171
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...