Sciweavers

1548 search results - page 155 / 310
» Data sharing between ada and C C
Sort
View
ISSRE
2007
IEEE
15 years 8 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
IADIS
2003
15 years 7 months ago
A Mobile Agent Based Registration System
A mobile agent is a software agent that has the ability to transfer its program code, data and execution state across a network to a remote computer for execution. In this paper, ...
K. K. Wong, C. K. Heng, P. C. Leong, Ma-Tit Yap
AAAI
1992
15 years 7 months ago
From Statistics to Beliefs
An intelligent agent uses known facts, including statistical knowledge, to assign degrees of belief to assertions it is uncertain about. We investigate three principled techniques...
Fahiem Bacchus, Adam J. Grove, Daphne Koller, Jose...
CIBCB
2009
IEEE
15 years 7 months ago
rnaDesign: Local search for RNA secondary structure design
Abstract-- The RNA secondary structure design (SSD) problem is a recently emerging research topic motivated by applications such as customized drug design and the self-assembly of ...
Denny C. Dai, Herbert H. Tsang, Kay C. Wiese
SIGCOMM
2010
ACM
15 years 6 months ago
Breathe to stay cool: adjusting cell sizes to reduce energy consumption
Reducing the energy consumption of a wireless cellular network is an important and urgent problem. This paper studies the effect of cell sizes on the energy consumed by the networ...
Sourjya Bhaumik, Girija J. Narlikar, Subhendu Chat...