215 search results - page 9 / 43 » Toward Verified Execution Environments |
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
Abstract—The pervasive computing vision consists in realizing ubiquitous technologies to support the execution of people’s everyday tasks by proactively providing appropriate i...
AIPR
2004
IEEE
13 years 11 months ago
2004
IEEE
Successful Unmanned Ground Vehicle (UGV) navigation in urban areas requires the competence of the vehicle to cope with Global Positioning System (GPS) outages and/or unreliable po...
ICAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Grid environments enable users to share non-dedicated resources that lack performance guarantees. This paper describes the design of application-centric middleware components to a...
SE
2010
13 years 9 months ago
2010
: The paper proposes an approach for compliance audits in workflow environments based on the tracking of information flow. Requirements are formalized as a binary relation on the w...
CCGRID
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...