Sciweavers

4755 search results - page 841 / 951
» An Implementation Model for Collaborative Applications
Sort
View
163
Voted
MIDDLEWARE
2007
Springer
16 years 8 days ago
Removing the need for state dissemination in grid resource brokering
Resource brokering in Grids is nowadays handled by resource brokers that require detailed knowledge of the state of the resources that they broker. In business settings, surrender...
Peer Hasselmeyer
MSN
2007
Springer
125views Sensor Networks» more  MSN 2007»
16 years 8 days ago
Ensuring Area Coverage in Hybrid Wireless Sensor Networks
Success of Wireless Sensor Networks largely depends whether the deployed network can provide desired coverage with acceptable network lifetime. This paper proposes a distributed pr...
Nadeem Ahmed, Salil S. Kanhere, Sanjay Jha
SAFECOMP
2007
Springer
16 years 8 days ago
Controller Architecture for Safe Cognitive Technical Systems
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...
Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stu...
182
Voted
AICT
2006
IEEE
163views Communications» more  AICT 2006»
16 years 6 days ago
A Methodology for Searching Reusable Business Processes
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
Francesco Calabrese, Giovanni Di Dio, Anna Rita Fa...
139
Voted
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
16 years 6 days ago
Equivalence verification of arithmetic datapaths with multiple word-length operands
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
Namrata Shekhar, Priyank Kalla, Florian Enescu