2867 search results - page 472 / 574 » A Context Management System for Supporting Context-Aware App... |
187
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
241
click to vote
CLUSTER
2011
IEEE
14 years 6 months ago
2011
IEEE
—For many organizations, one attractive use of cloud resources can be through what is referred to as cloud bursting or the hybrid cloud. These refer to scenarios where an organiz...
174
click to vote
SC
2004
ACM
16 years 8 days ago
2004
ACM
A task-based execution provides a universal approach to dynamic load balancing for irregular applications. Tasks are arbitrary units of work that are created dynamically at runtim...
199
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
Reengineering existing (large-scale) applications to the web is a complex and highly challenging task. This is due to a variety of mostly demanding requirements for interactive we...
213
click to vote
COST
1994
Springer
15 years 11 months ago
1994
Springer
In this paper, a teleservice for archiving and retrieving multimedia documents using public networks is described. This teleservice encourages a broad range of commercially applic...