596 search results - page 93 / 120 » A Software Engineering Framework for Context-Aware Pervasive... |
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Several efforts have been made over the years for developing file systems in user space. Many of these efforts have failed to make a significant impact as measured by their us...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
CGO
2007
IEEE
14 years 2 months ago
2007
IEEE
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
SIGSOFT
1998
ACM
13 years 12 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...