10038 search results - page 1633 / 2008 » Model Checking for Managers |
275
click to vote
JUCS
2010
15 years 5 months ago
2010
Abstract: The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the l...
172
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Many scientific applications suffer from the lack of a unified approach to support the management and efficient processing of large-scale data. The Twister MapReduce Framework, whi...
207
click to vote
GAMESEC
2010
15 years 4 months ago
2010
We study the strategic interaction between a network manager whose goal is to choose (as communication infrastructure) a spanning tree of a network given as an undirected graph, an...
149
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Tracking groups of people is a highly informative task in surveillance, and it represents a still open and little explored issue. In this paper, we propose a brand new framework f...
153
click to vote
OTM
2010
Springer
15 years 4 months ago
2010
Springer
In the ITEA2 Do-It-Yourself Smart Experiences project (DIY-SE), we are required to design an ontology-based ambient computing environment to support users to DIY their personalized...