10038 search results - page 1520 / 2008 » Model Checking for Managers |
297
click to vote
ICDT
2010
ACM
16 years 4 months ago
2010
ACM
We consider a fragment of XPath named `forward-XPath', which contains all descendant and rightwards sibling axes as well as data equality and inequality tests. The satisfiabi...
176
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
An Enterprise Semantic Integration System (ESIS) provides cross-domain and cross-department insights by normalizing and merging structured, semistructured, and unstructured data s...
160
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
—Security management is about calculated risk and requires continuous evaluation to ensure cost, time and resource effectiveness. Parts of which is to make future-oriented, costb...
187
click to vote
MSWIM
2009
ACM
16 years 1 months ago
2009
ACM
The increasing number of independent IEEE 802.11 WLANs owned and managed by autonomous users has led to increased interference, resulting in performance degradation and unfairness...
241
click to vote
EMS
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the future smart city, new information and communication technologies will enable a better management of the available resources. The future smart grid infrastructure is emer...