1866 search results - page 281 / 374 » Dynamic instantiation-checking components |
126
click to vote
JUCS
2008
15 years 3 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
121
click to vote
IPL
2007
15 years 3 months ago
2007
We study a model that incorporates a budget constraint in a decision making problem. Our goal is to maximize the expected wealth, where in each time period we can either stop the ...
111
click to vote
IPM
2007
15 years 3 months ago
2007
This article examines the application of two single-document sentence compression techniques to the problem of multi-document summarization—a “parse-and-trim” approach and a...
128
click to vote
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
151
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...