1866 search results - page 168 / 374 » Dynamic instantiation-checking components |
96
Voted
PERCOM
2009
ACM
16 years 4 months ago
2009
ACM
In pervasive computing environments, applications find themselves in constantly changing operating conditions. Such applications often need to discover locally available resources ...
132
Voted
CHI
2003
ACM
16 years 4 months ago
2003
ACM
Fusion is a web-based system that enables end-users to rapidly and dynamically construct personalized visualization workspaces without programming. Users first use advanced data s...
248
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
109
Voted
EDBT
2004
ACM
16 years 3 months ago
2004
ACM
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
132
Voted
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Pervasive Computing envisions distributed applications that optimally leverage the resources present in their ever-changing execution environment. To ease the development of perva...