2607 search results - page 245 / 522 » On the Architecture of System Verification Environments |
175
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Half the world’s population is expected to live in urban areas by 2020. The high human density and changes in peoples’ consumption habits result in an everincreasing amount of...
141
click to vote
SBACPAD
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract— For resource management in Grid environments, advance reservations turned out to be very useful and hence are supported by a variety of Grid toolkits. However, failure ...
167
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appr...
159
click to vote
COOPIS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes how query formulation can be made simple and less complicated by using ontologies. It takes a brief look at several advantages of using ontologies in a distri...
168
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
To make practical ubiquitous computing environment for everyday activities especially for house and home, the environment has to be proactively managed by the users at home themsel...