3451 search results - page 158 / 691 » The Architecture and Implementation of Resource Space Model ... |
154
click to vote
CASCON
2006
15 years 7 months ago
2006
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 appro...
186
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
194
click to vote
MOBILWARE
2009
ACM
16 years 28 days ago
2009
ACM
Sub-Nyquist sampling techniques for Wireless Sensor Networks (WSN) are gaining increasing attention as an alternative method to capture natural events with desired quality while mi...
163
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
MapReduce offers a flexible programming model for processing and generating large data sets on dedicated resources, where only a small fraction of such resources are every unavaila...
146
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...