Sciweavers

7504 search results - page 1236 / 1501
» Computing with Action Potentials
Sort
View
ICC
2007
IEEE
136views Communications» more  ICC 2007»
15 years 8 months ago
SAMcast - A Scalable, Secure and Authenticated Multicast Protocol for Large Scale P2P Networks
Overlay networks have shown tremendous potential in solving large scale data dissemination problem by employing peer-to-peer communication protocols. These networks, however, have ...
Waseem Ahmad, Ashfaq A. Khokhar
ATAL
2006
Springer
15 years 8 months ago
Toward an understanding of the impact of software personal assistants on human organizations
Intelligent software personal assistants for human organizations are an active research area within the multiagent community. However, while many capabilities for these software p...
Steven Okamoto, Paul Scerri, Katia P. Sycara
CASES
2006
ACM
15 years 8 months ago
Efficient architectures through application clustering and architectural heterogeneity
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
Lukasz Strozek, David Brooks
CAV
2006
Springer
141views Hardware» more  CAV 2006»
15 years 8 months ago
SMT Techniques for Fast Predicate Abstraction
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oli...
DEXAW
2004
IEEE
123views Database» more  DEXAW 2004»
15 years 8 months ago
Self-Adaptive and Self-Optimising Resource Monitoring for Dynamic Grid Environments
As the number of resources on the Grid tends to be very dynamic and potentially large, it becomes increasingly important to discover and monitor them efficiently. This paper conce...
Helene N. Lim Choi Keung, Justin R. D. Dyson, Step...
« Prev « First page 1236 / 1501 Last » Next »