1620 search results - page 56 / 324 » eg 2010 |
132
click to vote
STACS
2010
Springer
15 years 11 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
122
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
The topic of virtualization has received renewed attention. Xen is a popular open source type-I hypervisor. The Xen hypervisor currently has limited capabilities for runtime modiï...
142
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
—The Access Policy Tool (APT) analyzes the ï¬rewall conï¬guration in an enterprise network for compliance with global access policy, e.g., such as describes the industry’s be...
113
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
Recently, there has been an increased focus and a sense of urgency in developing standards for Power Grid systems centered on the need for interoperability. Given the threat again...
147
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
— Previous studies on supporting keyword queries in RDBMSs provide users with a ranked list of relevant linked structures (e.g. joined tuples) or individual tuples. In this paper...